CI: only run proofs on push to master#206

ahelwer wants to merge 1 commit intotlaplus:mastertlaplus/Examples:masterfrom

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