Skip to content

Actions: umpolungfish/beal_proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
BealDualProof.lean: sync from MillenniumAnkh — beal_equal_prime_expon… Lean Action CI #4: Commit abf9d82 pushed by umpolungfish
19m 17s main
main
19m 17s
update Lean Action CI #3: Commit 8a674b8 pushed by umpolungfish
1m 47s main
main
1m 47s
update Lean Action CI #2: Commit 644d02d pushed by umpolungfish
20m 58s main
main
20m 58s
initial Lean Action CI #1: Commit 2a66dd6 pushed by umpolungfish
33s main
main
33s