Skip to content

Actions: leanprover-community/flt-regular

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
396 workflow runs
396 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

better name .github/workflows/push.yml #225: Commit d56aa08 pushed by riccardobrasca
July 24, 2024 11:11 34m 6s master
master
July 24, 2024 11:11 34m 6s
mini improvements .github/workflows/push.yml #224: Commit c7381e2 pushed by riccardobrasca
July 24, 2024 10:59 12m 45s master
master
July 24, 2024 10:59 12m 45s
bump .github/workflows/push.yml #223: Commit e64d2e0 pushed by riccardobrasca
July 24, 2024 09:21 29m 48s master
master
July 24, 2024 09:21 29m 48s
build fix .github/workflows/push.yml #222: Commit d031b37 pushed by CBirkbeck
July 23, 2024 14:36 35m 17s master
master
July 23, 2024 14:36 35m 17s
Merge branch 'master' of https://github.com/leanprover-community/flt-… .github/workflows/push.yml #221: Commit fa4a7fb pushed by CBirkbeck
July 23, 2024 14:24 6m 5s master
master
July 23, 2024 14:24 6m 5s
Update3 push.yml .github/workflows/push.yml #220: Commit 29b3402 pushed by CBirkbeck
July 23, 2024 14:17 2m 54s master
master
July 23, 2024 14:17 2m 54s
fix lake file .github/workflows/push.yml #219: Commit 254c4f9 pushed by CBirkbeck
July 23, 2024 14:05 6m 39s master
master
July 23, 2024 14:05 6m 39s
Revert "fix blueprint test" .github/workflows/push.yml #218: Commit 11e881f pushed by CBirkbeck
July 23, 2024 14:05 56s master
master
July 23, 2024 14:05 56s
Merge branch 'master' of https://github.com/leanprover-community/flt-… .github/workflows/push.yml #217: Commit a4efff6 pushed by CBirkbeck
July 23, 2024 14:02 2m 56s master
master
July 23, 2024 14:02 2m 56s
Update2 push.yml .github/workflows/push.yml #216: Commit 568bb45 pushed by CBirkbeck
July 23, 2024 12:23 6m 50s master
master
July 23, 2024 12:23 6m 50s
Update push.yml .github/workflows/push.yml #215: Commit bad4bad pushed by CBirkbeck
July 23, 2024 12:15 6m 42s master
master
July 23, 2024 12:15 6m 42s
.github/workflows/main.yml .github/workflows/main.yml #12: Manually run by CBirkbeck
July 23, 2024 12:05 4m 37s master
master
July 23, 2024 12:05 4m 37s
bump .github/workflows/push.yml #214: Commit 36b9220 pushed by riccardobrasca
July 22, 2024 11:36 6m 48s master
master
July 22, 2024 11:36 6m 48s
bump .github/workflows/push.yml #213: Commit 72e5a8a pushed by riccardobrasca
July 20, 2024 12:23 6m 54s master
master
July 20, 2024 12:23 6m 54s
bump .github/workflows/push.yml #212: Commit bc83c2e pushed by riccardobrasca
July 19, 2024 09:12 6m 23s master
master
July 19, 2024 09:12 6m 23s
bump .github/workflows/push.yml #211: Commit 079cac5 pushed by riccardobrasca
July 18, 2024 17:24 6m 47s master
master
July 18, 2024 17:24 6m 47s
bump .github/workflows/push.yml #210: Commit 8db6827 pushed by riccardobrasca
July 16, 2024 09:48 6m 59s master
master
July 16, 2024 09:48 6m 59s
bump .github/workflows/push.yml #209: Commit 53ee391 pushed by riccardobrasca
July 15, 2024 09:56 6m 48s master
master
July 15, 2024 09:56 6m 48s
shake .github/workflows/push.yml #208: Commit c507e4d pushed by riccardobrasca
July 10, 2024 09:44 8m 33s master
master
July 10, 2024 09:44 8m 33s
bump .github/workflows/push.yml #207: Commit e1ccfa1 pushed by riccardobrasca
July 10, 2024 09:39 5m 5s master
master
July 10, 2024 09:39 5m 5s
this is in mathlib .github/workflows/push.yml #206: Commit 7d2f05d pushed by riccardobrasca
July 5, 2024 07:23 8m 22s master
master
July 5, 2024 07:23 8m 22s
let's get rid of this .github/workflows/push.yml #205: Commit ef78720 pushed by riccardobrasca
July 5, 2024 07:17 6m 1s master
master
July 5, 2024 07:17 6m 1s
better .github/workflows/push.yml #204: Commit 2f9431b pushed by riccardobrasca
July 4, 2024 18:44 7m 12s master
master
July 4, 2024 18:44 7m 12s
more cleanup .github/workflows/push.yml #203: Commit 923925e pushed by riccardobrasca
July 3, 2024 18:06 6m 41s master
master
July 3, 2024 18:06 6m 41s
better .github/workflows/push.yml #202: Commit 393777d pushed by riccardobrasca
July 3, 2024 17:27 7m 3s master
master
July 3, 2024 17:27 7m 3s