Skip to content

Actions: leanprover-community/flt-regular

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
300 workflow runs
300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more fix .github/workflows/push.yml #100: Commit 7bcb654 pushed by erdOne
December 3, 2023 05:29 51m 30s master
master
December 3, 2023 05:29 51m 30s
finish lh_pow_free .github/workflows/push.yml #99: Commit 324e276 pushed by erdOne
December 3, 2023 05:28 1m 35s master
master
December 3, 2023 05:28 1m 35s
reduce lh_pow_free to lh_pow_free_aux .github/workflows/push.yml #98: Commit 2ca28b3 pushed by erdOne
December 3, 2023 03:23 50m 23s master
master
December 3, 2023 03:23 50m 23s
finish h_exists .github/workflows/push.yml #97: Commit 23fe24c pushed by erdOne
December 2, 2023 17:03 52m 34s master
master
December 2, 2023 17:03 52m 34s
better wording .github/workflows/push.yml #96: Commit d2ae975 pushed by erdOne
December 2, 2023 12:35 50m 57s master
master
December 2, 2023 12:35 50m 57s
finish trivial rank calculations .github/workflows/push.yml #95: Commit bae793c pushed by erdOne
December 2, 2023 11:58 38m 3s master
master
December 2, 2023 11:58 38m 3s
finrank stuff .github/workflows/push.yml #94: Commit fb0bd4d pushed by erdOne
December 2, 2023 07:34 49m 28s master
master
December 2, 2023 07:34 49m 28s
fix stuff .github/workflows/push.yml #93: Commit 0868c5e pushed by erdOne
December 1, 2023 13:46 51m 7s master
master
December 1, 2023 13:46 51m 7s
squeeze some simps .github/workflows/push.yml #92: Commit 07eaf4f pushed by CBirkbeck
December 1, 2023 13:06 40m 32s master
master
December 1, 2023 13:06 40m 32s
Still messing about with H92 .github/workflows/push.yml #91: Commit d9f73e9 pushed by CBirkbeck
December 1, 2023 12:59 6m 42s master
master
December 1, 2023 12:59 6m 42s
H92 brake fixed .github/workflows/push.yml #90: Commit f66599a pushed by CBirkbeck
December 1, 2023 09:56 48m 41s master
master
December 1, 2023 09:56 48m 41s
H92 brooken, saving so I can fix on big screen .github/workflows/push.yml #89: Commit 12f0122 pushed by CBirkbeck
December 1, 2023 09:41 8m 44s master
master
December 1, 2023 09:41 8m 44s
fix? .github/workflows/push.yml #88: Commit 5ff452b pushed by erdOne
December 1, 2023 04:15 51m 8s master
master
December 1, 2023 04:15 51m 8s
fix .github/workflows/push.yml #87: Commit 1e29e45 pushed by erdOne
December 1, 2023 03:43 14m 25s master
master
December 1, 2023 03:43 14m 25s
existence sorry free .github/workflows/push.yml #86: Commit 54ad763 pushed by riccardobrasca
December 1, 2023 02:36 9m 38s master
master
December 1, 2023 02:36 9m 38s
progress .github/workflows/push.yml #85: Commit a3b20ed pushed by riccardobrasca
November 30, 2023 22:41 8m 24s master
master
November 30, 2023 22:41 8m 24s
also useless .github/workflows/push.yml #84: Commit 9b2a16a pushed by riccardobrasca
November 30, 2023 21:42 15m 52s master
master
November 30, 2023 21:42 15m 52s
useless .github/workflows/push.yml #83: Commit 791cce6 pushed by riccardobrasca
November 30, 2023 21:28 14m 18s master
master
November 30, 2023 21:28 14m 18s
fix spanA_eq_spanZ .github/workflows/push.yml #82: Commit d208e82 pushed by erdOne
November 30, 2023 21:10 15m 17s master
master
November 30, 2023 21:10 15m 17s
fix .github/workflows/push.yml #81: Commit fd28cac pushed by erdOne
November 30, 2023 21:10 1m 6s master
master
November 30, 2023 21:10 1m 6s
Merge branch 'erd1/changeA' into master .github/workflows/push.yml #80: Commit c7880e8 pushed by erdOne
November 30, 2023 21:08 1m 43s master
master
November 30, 2023 21:08 1m 43s
Merge pull request #98 from leanprover-community/erd1/changeA .github/workflows/push.yml #79: Commit cf931af pushed by riccardobrasca
November 30, 2023 20:54 13m 54s master
master
November 30, 2023 20:54 13m 54s
more progress .github/workflows/push.yml #78: Commit 6fea061 pushed by riccardobrasca
November 30, 2023 20:00 9m 34s master
master
November 30, 2023 20:00 9m 34s
progress .github/workflows/push.yml #77: Commit 17bcdff pushed by riccardobrasca
November 30, 2023 18:16 50m 44s master
master
November 30, 2023 18:16 50m 44s
move notation .github/workflows/push.yml #76: Commit 95429ba pushed by riccardobrasca
November 30, 2023 16:00 50m 5s master
master
November 30, 2023 16:00 50m 5s