CI: check all proofs without time limit#191

ahelwer merged 1 commit intotlaplus:mastertlaplus/Examples:masterfrom

ahelwer:check-all-proofsahelwer/Examples:check-all-proofsCopy head branch name to clipboard