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
302 workflow runs
302 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
bump .github/workflows/push.yml #176: Commit fe2463d pushed by riccardobrasca
April 29, 2024 09:47 47m 57s master
master
April 29, 2024 09:47 47m 57s
bump .github/workflows/push.yml #175: Commit ee98c6e pushed by riccardobrasca
April 24, 2024 05:35 48m 23s master
master
April 24, 2024 05:35 48m 23s
bump .github/workflows/push.yml #174: Commit f939c87 pushed by riccardobrasca
April 22, 2024 01:56 48m 19s master
master
April 22, 2024 01:56 48m 19s
fix build .github/workflows/push.yml #173: Commit fc9d94c pushed by riccardobrasca
April 17, 2024 13:06 50m 34s master
master
April 17, 2024 13:06 50m 34s
bump .github/workflows/push.yml #172: Commit e7a79b5 pushed by riccardobrasca
April 17, 2024 12:37 6m 30s master
master
April 17, 2024 12:37 6m 30s
bump .github/workflows/push.yml #171: Commit 7bc533d pushed by riccardobrasca
April 16, 2024 07:26 50m 7s master
master
April 16, 2024 07:26 50m 7s
bump .github/workflows/push.yml #170: Commit 756e752 pushed by riccardobrasca
April 8, 2024 12:45 51m 28s master
master
April 8, 2024 12:45 51m 28s
bump .github/workflows/push.yml #169: Commit 55c97e9 pushed by riccardobrasca
April 3, 2024 12:49 52m 13s master
master
April 3, 2024 12:49 52m 13s
blueprint fix 2 .github/workflows/push.yml #168: Commit c52b818 pushed by CBirkbeck
March 19, 2024 11:12 49m 43s master
master
March 19, 2024 11:12 49m 43s
Update content.tex .github/workflows/push.yml #167: Commit b5f2ee8 pushed by CBirkbeck
March 19, 2024 09:52 50m 29s master
master
March 19, 2024 09:52 50m 29s
bump .github/workflows/push.yml #166: Commit f1efc07 pushed by riccardobrasca
March 18, 2024 08:47 48m 43s master
master
March 18, 2024 08:47 48m 43s
bump .github/workflows/push.yml #165: Commit 3ee4681 pushed by riccardobrasca
March 17, 2024 09:02 49m 42s master
master
March 17, 2024 09:02 49m 42s
bump .github/workflows/push.yml #164: Commit cafcac5 pushed by riccardobrasca
March 11, 2024 18:52 47m 55s master
master
March 11, 2024 18:52 47m 55s
better .github/workflows/push.yml #163: Commit 3727a95 pushed by riccardobrasca
March 4, 2024 11:08 50m 59s master
master
March 4, 2024 11:08 50m 59s
bump .github/workflows/push.yml #162: Commit d9a41fc pushed by riccardobrasca
March 4, 2024 11:07 55s master
master
March 4, 2024 11:07 55s
golf .github/workflows/push.yml #161: Commit 81513b0 pushed by riccardobrasca
March 1, 2024 16:34 51m 12s master
master
March 1, 2024 16:34 51m 12s
bump .github/workflows/push.yml #160: Commit 23bdde1 pushed by riccardobrasca
March 1, 2024 16:29 5m 9s master
master
March 1, 2024 16:29 5m 9s
bump .github/workflows/push.yml #159: Commit e413b0a pushed by riccardobrasca
February 26, 2024 18:07 50m 59s master
master
February 26, 2024 18:07 50m 59s
bump .github/workflows/push.yml #158: Commit 4743a84 pushed by riccardobrasca
February 21, 2024 16:43 50m 6s master
master
February 21, 2024 16:43 50m 6s
useless .github/workflows/push.yml #157: Commit a0f88b0 pushed by riccardobrasca
February 18, 2024 19:33 49m 37s master
master
February 18, 2024 19:33 49m 37s
bump .github/workflows/push.yml #156: Commit 795c1d0 pushed by riccardobrasca
February 18, 2024 17:37 50m 4s master
master
February 18, 2024 17:37 50m 4s
Speed up a bit .github/workflows/push.yml #155: Commit d370eee pushed by Ruben-VandeVelde
February 12, 2024 22:07 49m 31s master
master
February 12, 2024 22:07 49m 31s
add FLT5 .github/workflows/push.yml #154: Commit b1552ac pushed by riccardobrasca
February 12, 2024 17:10 49m 50s master
master
February 12, 2024 17:10 49m 50s
bump .github/workflows/push.yml #153: Commit 008b72a pushed by riccardobrasca
February 12, 2024 12:55 49m 18s master
master
February 12, 2024 12:55 49m 18s