Skip to content

Actions: FordUniver/LeanBlockCourse26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
578 workflow runs
578 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
one_to_five_tonio Lean Action CI #291: Pull request #8 synchronize by FordUniver
1m 26s one_to_five
one_to_five
1m 26s
restore Bohdan / Kimia attribution Lean Action CI #290: Commit ac88dce pushed by FordUniver
1m 38s one_to_five
one_to_five
1m 38s
finished proof 1 to 2 Lean Action CI #289: Pull request #5 synchronize by FordUniver
1m 44s onats-branch
onats-branch
1m 44s
Showed 4 implies 1 : Prime TFAE Theorem Lean Action CI #288: Pull request #14 synchronize by carabennett
1m 24s carabennett:caras-branch
carabennett:caras-branch
1m 24s
restore Bohdan / Kimia attribution Lean Action CI #287: Commit e161a88 pushed by FordUniver
1m 23s onats-branch
onats-branch
1m 23s
tfae_have 1 → 6, 1 ↔ 7 Lean Action CI #286: Pull request #7 synchronize by FordUniver
1m 44s tfae_have_1_6
tfae_have_1_6
1m 44s
keep Bohdan / Kimia attribution for now Lean Action CI #285: Commit 9491061 pushed by FordUniver
1m 28s tfae_have_1_6
tfae_have_1_6
1m 28s
restore Bohdan / Kimia attribution on 7↔1 (change belongs in PR #7) Lean Action CI #284: Commit d767d64 pushed by FordUniver
1m 23s main
main
1m 23s
restore Bohdan / Kimia attribution on 7↔1 (change belongs in PR #7) Deploy GitHub Pages #211: Commit d767d64 pushed by FordUniver
50s main
main
50s
5 → 6 Lean Action CI #283: Pull request #6 synchronize by theottm
1m 27s theottm:5_to_6
theottm:5_to_6
1m 27s
3 to 4 Lean Action CI #282: Pull request #12 synchronize by FordUniver
1m 44s 3_to_4
3_to_4
1m 44s
cleanup: rebase on current main, remove all noise, keep only proof Lean Action CI #281: Commit 4881d5f pushed by FordUniver
1m 23s 3_to_4
3_to_4
1m 23s
remove Kimia from 7 → 1 and 1 → 7 comments Lean Action CI #280: Commit 746562a pushed by leonie1411
1m 34s tfae_have_2_to_3
tfae_have_2_to_3
1m 34s
cleanup: remove duplicate import and whitespace noise, keep only proofs Lean Action CI #279: Commit bfa4bfa pushed by FordUniver
2m 51s tfae_have_1_6
tfae_have_1_6
2m 51s
one_to_five_tonio Lean Action CI #278: Pull request #8 synchronize by FordUniver
1m 32s one_to_five
one_to_five
1m 32s
cleanup: remove whitespace and comment noise, keep only proof Lean Action CI #277: Commit 2517954 pushed by FordUniver
1m 41s one_to_five
one_to_five
1m 41s
finished proof 1 to 2 Lean Action CI #276: Pull request #5 synchronize by FordUniver
1m 26s onats-branch
onats-branch
1m 26s
cleanup: remove whitespace noise, keep only proof Lean Action CI #275: Commit 4d3d631 pushed by FordUniver
1m 28s onats-branch
onats-branch
1m 28s
added proof that 6 implies 1 Lean Action CI #274: Pull request #9 synchronize by FordUniver
2m 10s feat/primes-tfae-6-1
feat/primes-tfae-6-1
2m 10s
cleanup: remove whitespace noise, keep only proof Lean Action CI #273: Commit c177a26 pushed by FordUniver
1m 31s feat/primes-tfae-6-1
feat/primes-tfae-6-1
1m 31s
finished one to three Lean Action CI #272: Pull request #10 synchronize by FordUniver
1m 24s one_to_three
one_to_three
1m 24s
cleanup: remove whitespace noise, keep only proof Lean Action CI #271: Commit 8e88442 pushed by FordUniver
1m 25s one_to_three
one_to_three
1m 25s
Tfae have 5 4 Lean Action CI #270: Pull request #15 opened by Sammy31415926
2m 2s tfae_have_5_4
tfae_have_5_4
2m 2s
Showed 4 implies 1 : Prime TFAE Theorem Lean Action CI #269: Pull request #14 synchronize by carabennett
3m 58s carabennett:caras-branch
carabennett:caras-branch
3m 58s
Fixed Indentation. Prove 5 to 4 now working Lean Action CI #268: Commit b3c0f8e pushed by Sammy31415926
1m 38s tfae_have_5_4
tfae_have_5_4
1m 38s