CI: check proofs using find | jq | xargs bash pipeline#205
Draft
ahelwer wants to merge 1 commit intotlaplus:masterfrom
Draft
CI: check proofs using find | jq | xargs bash pipeline#205ahelwer wants to merge 1 commit intotlaplus:masterfrom
ahelwer wants to merge 1 commit intotlaplus:masterfrom
