From 367372f526aac2c58f5344b4a16d3afdfdb5a905 Mon Sep 17 00:00:00 2001
From: vignesh07 <vigneshnatarajan92@gmail.com>
Date: Sat, 31 Jan 2026 16:52:15 -0800
Subject: [PATCH] ci: run formal model alias consistency check

---
 .github/workflows/formal-conformance.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/formal-conformance.yml b/.github/workflows/formal-conformance.yml
index 36e66c4e60..be47fcca32 100644
--- a/.github/workflows/formal-conformance.yml
+++ b/.github/workflows/formal-conformance.yml
@@ -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