Skip to content

CI: only run proofs on push to master#206

Open
ahelwer wants to merge 1 commit intotlaplus:masterfrom
ahelwer:ci-time-proofs
Open

CI: only run proofs on push to master#206
ahelwer wants to merge 1 commit intotlaplus:masterfrom
ahelwer:ci-time-proofs

Conversation

@ahelwer
Copy link
Copy Markdown
Collaborator

@ahelwer ahelwer commented Apr 20, 2026

No description provided.

@ahelwer ahelwer force-pushed the ci-time-proofs branch 3 times, most recently from 8438c82 to ca72ad6 Compare April 20, 2026 19:38
Signed-off-by: Andrew Helwer <ahelwer@pm.me>
@ahelwer ahelwer changed the title CI: record proof runtime CI: only run proofs on push to master Apr 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant