CI: check proofs using find | jq | xargs bash pipeline#205
Merged
ahelwer merged 1 commit intotlaplus:masterfrom Apr 20, 2026
Merged
CI: check proofs using find | jq | xargs bash pipeline#205ahelwer merged 1 commit intotlaplus:masterfrom
ahelwer merged 1 commit intotlaplus:masterfrom
