feat: add HOL Guard tool - #1163
Conversation
|
❌ This pull request was removed from the merge queue because it failed tests. PR #1173 was used for testing. See more details here.
After your PR is submitted to the merge queue, this comment will be automatically updated with its status. If the PR fails, failure details will also be posted here |
|
/trunk merge |
|
/trunk merge |
|
An error occurred while submitting your PR to the queue: |
|
All required changes are in and the PR is still mergeable. The queue command now reports that only a repo member or someone with write access can submit it. Could a maintainer add #1163 to the merge queue when convenient? I’ll handle any requested changes right away. |
Summary
Adds HOL Guard as a standalone Trunk tool backed by the stable
hol-guardPyPI package.hol-guardshim through Trunk's default plugin sourceknown_good_versionto3.0.18hol-guard --versionsemver health checktoolInstallTestThis follows the current
tools/contribution pattern for Python runtime packages. HOL Guardv3.0.18is the validated stable release used by this contribution and documents the installedhol-guardCLI as the runtime entrypoint.Validation
3.0.18Publish to PyPIworkflow completed successfully for thev3.0.18release commitI could not run the full local
trunk checkin the connected execution environment, so I am not claiming that as passed; the repository-native install test is included for CI.Affiliation: I maintain HOL Guard / Hashgraph Online. AI assistance was used to prepare this focused contribution and the release refresh.