CI: record & use max proof runtime#213

ahelwer merged 1 commit into

tlaplus:mastertlaplus/Examples:masterfrom

ahelwer:proof-max-runtimeahelwer/Examples:proof-max-runtimeCopy head branch name to clipboard