CI: time proofs and skip long-running ones#206

ahelwer merged 1 commit into

tlaplus:mastertlaplus/Examples:masterfrom

ahelwer:ci-time-proofsahelwer/Examples:ci-time-proofsCopy head branch name to clipboard