feat: add HOL Guard tool - #1163

Open

kantorcodes wants to merge 13 commits into

trunk-io:mainfrom

kantorcodes:add-hol-guard

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