yuanyeex
/
openclaw
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #5807 from openclaw/ci/formal-conformance-alias-check

main
Vignesh 2026-01-31 17:39:53 -08:00 committed by GitHub
parent bce8c0eb12 367372f526
commit 7387bc574f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/formal-conformance.yml vendored
View File

@ -34,6 +34,7 @@ jobs:
cd clawdbot-formal-models
export OPENCLAW_REPO_DIR="${GITHUB_WORKSPACE}/openclaw"
node scripts/extract-tool-groups.mjs
node scripts/check-tool-group-alias.mjs
- name: Compute drift
id: drift