trunk-merge/pr-1163/232103e4-f4a5-4d65-b39c-3fb4d47e6f66 - #1175

Closed

trunk-io[bot] wants to merge 17 commits into

mainfrom

trunk-merge/pr-1163/232103e4-f4a5-4d65-b39c-3fb4d47e6f66

Commits on Aug 25, 2026

feat: add HOL Guard tool
kantorcodes
committed
8d2d74b

Commits on Aug 26, 2026

chore: refresh HOL Guard stable version
kantorcodes
committed
56f5490
test: refresh HOL Guard stable version
kantorcodes
committed
39d271d

Commits on Aug 27, 2026

test: refresh HOL Guard stable version to 2.2.126
kantorcodes
committed
7313515
fix(hol-guard): refresh stable release to 3.0.0
kantorcodes
committed
8e32df8
fix(hol-guard): refresh stable install test to 3.0.0
kantorcodes
committed
6c22e18

Commits on Aug 28, 2026

Commits on Aug 29, 2026

chore(hol-guard): refresh stable pin to 3.0.18
kantorcodes
committed
7add7de
test(hol-guard): refresh install test to 3.0.18
kantorcodes
committed
33e8c99

Commits on Sep 10, 2026

Merge branch 'main' into add-hol-guard
EliSchleifer
authored
054f46e

Commits on Sep 13, 2026

chore: update HOL Guard to 3.0.166
kantorcodes
committed
e13291f
chore: update HOL Guard to 3.0.166
kantorcodes
committed
5a0648b

Commits on Sep 16, 2026