source/openclaw
1
0
Fork 0
mirror of https://github.com/openclaw/openclaw.git synced 2026-02-09 05:19:32 +08:00
Code Issues Packages Projects Releases Wiki Activity

ci(formal): fix formal models checkout repo (vignesh07/clawdbot-formal-models)

Browse Source
This commit is contained in:
vignesh07
2026-02-01 01:19:18 -08:00
committed by Vignesh
parent 141dc1af4b
commit 9d9378436b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -20,7 +20,7 @@ jobs:
- name: Checkout formal models
uses: actions/checkout@v4
with:
repository: openclaw/clawdbot-formal-models
repository: vignesh07/clawdbot-formal-models
ref: main
path: clawdbot-formal-models