Skip to content

CI: delete check_proofs.py script - #223

Merged
ahelwer merged 1 commit into
tlaplus:masterfrom
ahelwer:remove-proof-script
Aug 9, 2026
Merged

CI: delete check_proofs.py script#223
ahelwer merged 1 commit into
tlaplus:masterfrom
ahelwer:remove-proof-script

CI: delete check_proofs.py script

6746715
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 9, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO