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

shake and clean .github/workflows/push.yml #201: Commit 9c0d459 pushed by riccardobrasca
July 3, 2024 17:24 3m 38s master
master
July 3, 2024 17:24 3m 38s
useless .github/workflows/push.yml #200: Commit 2e4d37d pushed by riccardobrasca
July 3, 2024 15:46 7m 20s master
master
July 3, 2024 15:46 7m 20s
more cleanup .github/workflows/push.yml #199: Commit a43940b pushed by riccardobrasca
July 3, 2024 15:29 7m 14s master
master
July 3, 2024 15:29 7m 14s
another one .github/workflows/push.yml #198: Commit 5728fda pushed by riccardobrasca
July 3, 2024 12:25 11m 40s master
master
July 3, 2024 12:25 11m 40s
remove more stuff .github/workflows/push.yml #197: Commit 669b5af pushed by riccardobrasca
July 3, 2024 12:21 4m 29s master
master
July 3, 2024 12:21 4m 29s
clean more stuff .github/workflows/push.yml #196: Commit fa964a6 pushed by riccardobrasca
July 3, 2024 10:07 7m 14s master
master
July 3, 2024 10:07 7m 14s
clean more stuff .github/workflows/push.yml #195: Commit 31b2103 pushed by riccardobrasca
July 2, 2024 19:45 6m 53s master
master
July 2, 2024 19:45 6m 53s
clean stuff .github/workflows/push.yml #194: Commit 4f05ecc pushed by riccardobrasca
July 2, 2024 19:26 7m 16s master
master
July 2, 2024 19:26 7m 16s
bump .github/workflows/push.yml #193: Commit e11fbb4 pushed by riccardobrasca
July 2, 2024 15:00 7m 6s master
master
July 2, 2024 15:00 7m 6s
Merge branch 'master' of https://github.com/leanprover-community/flt-… .github/workflows/push.yml #192: Commit e3939d3 pushed by CBirkbeck
July 1, 2024 18:13 9m 42s master
master
July 1, 2024 18:13 9m 42s
bump .github/workflows/push.yml #191: Commit a94cef6 pushed by riccardobrasca
July 1, 2024 10:34 8m 14s master
master
July 1, 2024 10:34 8m 14s
bump .github/workflows/push.yml #190: Commit e75f135 pushed by riccardobrasca
June 25, 2024 09:22 8m 25s master
master
June 25, 2024 09:22 8m 25s
bump .github/workflows/push.yml #189: Commit c03f0c9 pushed by riccardobrasca
June 24, 2024 10:50 6m 53s master
master
June 24, 2024 10:50 6m 53s
bump .github/workflows/push.yml #188: Commit f08cbd2 pushed by riccardobrasca
June 20, 2024 11:24 8m 49s master
master
June 20, 2024 11:24 8m 49s
bump .github/workflows/push.yml #187: Commit de2555b pushed by riccardobrasca
June 17, 2024 09:36 7m 45s master
master
June 17, 2024 09:36 7m 45s
bump .github/workflows/push.yml #186: Commit 90156d7 pushed by riccardobrasca
June 13, 2024 14:26 8m 29s master
master
June 13, 2024 14:26 8m 29s
bump .github/workflows/push.yml #185: Commit 36e783c pushed by riccardobrasca
June 11, 2024 13:10 7m 24s master
master
June 11, 2024 13:10 7m 24s
bump .github/workflows/push.yml #184: Commit 359ab56 pushed by riccardobrasca
May 31, 2024 10:22 7m 4s master
master
May 31, 2024 10:22 7m 4s
bump .github/workflows/push.yml #183: Commit 5752beb pushed by Ruben-VandeVelde
May 30, 2024 14:01 8m 53s master
master
May 30, 2024 14:01 8m 53s
bump .github/workflows/push.yml #182: Commit 151dc54 pushed by riccardobrasca
May 23, 2024 12:55 6m 59s master
master
May 23, 2024 12:55 6m 59s
bump .github/workflows/push.yml #181: Commit 41e16d8 pushed by riccardobrasca
May 15, 2024 10:27 7m 0s master
master
May 15, 2024 10:27 7m 0s
bump .github/workflows/push.yml #180: Commit fd67acd pushed by riccardobrasca
May 8, 2024 10:38 6m 45s master
master
May 8, 2024 10:38 6m 45s
bump .github/workflows/push.yml #179: Commit 6df81b2 pushed by riccardobrasca
May 7, 2024 08:26 7m 30s master
master
May 7, 2024 08:26 7m 30s
Squashed commit of the following: .github/workflows/push.yml #178: Commit 81ebc69 pushed by riccardobrasca
May 6, 2024 10:18 6m 58s master
master
May 6, 2024 10:18 6m 58s
Merge pull request #103 from leanprover-community/v4.8.0 .github/workflows/push.yml #177: Commit d41c868 pushed by riccardobrasca
May 3, 2024 08:12 2h 42m 37s master
master
May 3, 2024 08:12 2h 42m 37s