From 9d9378436bf7d04ceef1c81883d501d8eaac45e5 Mon Sep 17 00:00:00 2001 From: vignesh07 Date: Sun, 1 Feb 2026 01:19:18 -0800 Subject: [PATCH] ci(formal): fix formal models checkout repo (vignesh07/clawdbot-formal-models) --- .github/workflows/formal-conformance.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/formal-conformance.yml b/.github/workflows/formal-conformance.yml index 8e2fdd0bc6..f8a9f82570 100644 --- a/.github/workflows/formal-conformance.yml +++ b/.github/workflows/formal-conformance.yml @@ -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