vignesh07
|
e74235fdce
|
ci(formal): compute drift for generated/ before model checking
|
2026-02-02 00:43:28 -08:00 |
|
vignesh07
|
f37b79cf4f
|
ci(formal): add routing-trirule + proxy-header-spoof targets
|
2026-02-02 00:43:28 -08:00 |
|
vignesh07
|
889480cef9
|
ci(formal): include latest reliability/conformance model targets
|
2026-02-02 00:43:28 -08:00 |
|
vignesh07
|
9d9378436b
|
ci(formal): fix formal models checkout repo (vignesh07/clawdbot-formal-models)
|
2026-02-01 01:59:16 -08:00 |
|
vignesh07
|
141dc1af4b
|
ci(formal): checkout formal models from canonical repo main
|
2026-02-01 01:59:16 -08:00 |
|
vignesh07
|
c83c19d9cd
|
ci(formal): run TLC model suite (green) + negative suite (non-blocking)
|
2026-02-01 01:59:16 -08:00 |
Vignesh
|
7387bc574f
|
Merge pull request #5807 from openclaw/ci/formal-conformance-alias-check
|
2026-01-31 17:39:53 -08:00 |
cpojer
|
f06dd8df06
|
chore: Enable "experimentalSortImports" in Oxfmt and reformat all imorts.
|
2026-02-01 10:03:47 +09:00 |
|
vignesh07
|
367372f526
|
ci: run formal model alias consistency check
|
2026-01-31 16:52:15 -08:00 |
|
vignesh07
|
baf9505bfd
|
ci: add informational formal models conformance check
|
2026-01-31 14:06:17 -08:00 |