Skip to content

CI: run more examples proofs#246

Merged
ahelwer merged 1 commit intotlaplus:mainfrom
ahelwer:ci-example-proofs
Dec 19, 2025
Merged

CI: run more examples proofs#246
ahelwer merged 1 commit intotlaplus:mainfrom
ahelwer:ci-example-proofs

Commits

Commits on Dec 18, 2025