Repository navigation
Add HOL Guard to the Copilot plugins marketplace - #78
Open
kantorcodes wants to merge 2 commits into
Open
kantorcodes wants to merge 2 commits into
kantorcodes wants to merge 2 commits into
GitHub License Compliance / License compliance check
succeeded
Oct 8, 2026 in 1s
No new license compliance alerts in code changed by this pull request
This check concluded as success.
Details
[2026-10-08T18:25:31.931311Z] Starting license check...
[2026-10-08T18:25:31.957781Z] Evaluating dependencies against license policy...
[2026-10-08T18:25:32.177775Z] ✓ License check passed
Loading