Skip to content

Actions: alma-n/Polya-lean

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Golf a few proofs .github/workflows/push_pr.yml #17: Pull request #9 opened by pitmonticone
August 6, 2024 08:51 1m 31s pitmonticone:golf-proofs
pitmonticone:golf-proofs
August 6, 2024 08:51 1m 31s
Minimise imports .github/workflows/push_pr.yml #16: Pull request #8 opened by pitmonticone
July 18, 2024 20:09 1m 22s pitmonticone:minimise-imports
pitmonticone:minimise-imports
July 18, 2024 20:09 1m 22s