Skip to content

🤖 tests: cover #5465 background-process cases in the TLA+ model - #5575

Merged
ThomasK33 merged 3 commits into
mainfrom
formal/5465-bgproc-model-cases
Oct 3, 2026
Merged

🤖 tests: cover #5465 background-process cases in the TLA+ model#5575
ThomasK33 merged 3 commits into
mainfrom
formal/5465-bgproc-model-cases

🤖 tests: force the failed-migration path in its own config; a fail-cl…

6aabf6b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar