Skip to content

Actions: leanprover-community/flt-regular

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
431 workflow runs
431 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
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