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

bump .github/workflows/push.yml #275: Commit 3a98e05 pushed by riccardobrasca
October 24, 2024 16:02 33m 18s master
master
October 24, 2024 16:02 33m 18s
shake .github/workflows/push.yml #274: Commit b0eb9f8 pushed by riccardobrasca
October 23, 2024 15:26 33m 50s master
master
October 23, 2024 15:26 33m 50s
fix this .github/workflows/push.yml #273: Commit 0c2eec2 pushed by riccardobrasca
October 23, 2024 15:17 10m 5s master
master
October 23, 2024 15:17 10m 5s
ops .github/workflows/push.yml #272: Commit 1733bb0 pushed by riccardobrasca
October 23, 2024 15:15 1m 33s master
master
October 23, 2024 15:15 1m 33s
more direct proof .github/workflows/push.yml #271: Commit 4a662f0 pushed by riccardobrasca
October 23, 2024 15:15 28s master
master
October 23, 2024 15:15 28s
those are useless .github/workflows/push.yml #270: Commit 6919d8c pushed by riccardobrasca
October 23, 2024 13:32 52m 25s master
master
October 23, 2024 13:32 52m 25s
bump .github/workflows/push.yml #269: Commit 34b3bff pushed by riccardobrasca
October 23, 2024 12:38 54m 30s master
master
October 23, 2024 12:38 54m 30s
golf .github/workflows/push.yml #268: Commit 1251ea6 pushed by riccardobrasca
October 23, 2024 12:23 7m 42s master
master
October 23, 2024 12:23 7m 42s
also useless .github/workflows/push.yml #267: Commit 45f0066 pushed by riccardobrasca
October 22, 2024 14:23 36m 28s master
master
October 22, 2024 14:23 36m 28s
those are useless .github/workflows/push.yml #266: Commit 769ba16 pushed by riccardobrasca
October 22, 2024 12:02 32m 36s master
master
October 22, 2024 12:02 32m 36s
bump .github/workflows/push.yml #265: Commit 04b08fd pushed by riccardobrasca
October 22, 2024 09:30 34m 36s master
master
October 22, 2024 09:30 34m 36s
use more mathlib .github/workflows/push.yml #264: Commit 256240b pushed by riccardobrasca
October 21, 2024 17:34 35m 8s master
master
October 21, 2024 17:34 35m 8s
bump .github/workflows/push.yml #263: Commit 7dafbd3 pushed by riccardobrasca
October 21, 2024 17:15 19m 48s master
master
October 21, 2024 17:15 19m 48s
better .github/workflows/push.yml #262: Commit cb7fcfe pushed by riccardobrasca
October 15, 2024 15:22 45m 39s master
master
October 15, 2024 15:22 45m 39s
bump .github/workflows/push.yml #261: Commit 6cea924 pushed by riccardobrasca
October 15, 2024 10:06 32m 54s master
master
October 15, 2024 10:06 32m 54s
bump .github/workflows/push.yml #260: Commit 17c3098 pushed by riccardobrasca
October 15, 2024 09:08 38m 59s master
master
October 15, 2024 09:08 38m 59s
bump .github/workflows/push.yml #259: Commit 82763ff pushed by riccardobrasca
September 26, 2024 12:32 37m 2s master
master
September 26, 2024 12:32 37m 2s
bump .github/workflows/push.yml #258: Commit 8fd4f5e pushed by riccardobrasca
September 17, 2024 07:57 33m 39s master
master
September 17, 2024 07:57 33m 39s
bump .github/workflows/push.yml #257: Commit 85e46f5 pushed by riccardobrasca
September 13, 2024 06:50 31m 50s master
master
September 13, 2024 06:50 31m 50s
this never ends .github/workflows/push.yml #256: Commit a557f17 pushed by riccardobrasca
September 12, 2024 13:06 34m 17s master
master
September 12, 2024 13:06 34m 17s
again .github/workflows/push.yml #255: Commit d689fc5 pushed by riccardobrasca
September 12, 2024 12:59 7m 17s master
master
September 12, 2024 12:59 7m 17s
please stop .github/workflows/push.yml #254: Commit 12bf9e6 pushed by riccardobrasca
September 12, 2024 12:29 30m 16s master
master
September 12, 2024 12:29 30m 16s
even better .github/workflows/push.yml #253: Commit 9297e90 pushed by riccardobrasca
September 12, 2024 12:07 22m 4s master
master
September 12, 2024 12:07 22m 4s
nicer .github/workflows/push.yml #252: Commit 908443e pushed by riccardobrasca
September 12, 2024 12:02 5m 16s master
master
September 12, 2024 12:02 5m 16s
better variable name .github/workflows/push.yml #251: Commit 4dd47c6 pushed by riccardobrasca
September 12, 2024 11:19 32m 35s master
master
September 12, 2024 11:19 32m 35s