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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
better names .github/workflows/push.yml #250: Commit 403baca pushed by riccardobrasca
September 12, 2024 10:01 35m 32s master
master
September 12, 2024 10:01 35m 32s
better name .github/workflows/push.yml #249: Commit 8ee136e pushed by riccardobrasca
September 12, 2024 08:10 35m 43s master
master
September 12, 2024 08:10 35m 43s
long line .github/workflows/push.yml #248: Commit 8cf14be pushed by riccardobrasca
September 11, 2024 15:27 34m 56s master
master
September 11, 2024 15:27 34m 56s
better doc .github/workflows/push.yml #247: Commit 1988fda pushed by riccardobrasca
September 11, 2024 15:07 20m 38s master
master
September 11, 2024 15:07 20m 38s
bump .github/workflows/push.yml #246: Commit fe3c43b pushed by riccardobrasca
September 11, 2024 10:28 33m 51s master
master
September 11, 2024 10:28 33m 51s
bump .github/workflows/push.yml #245: Commit 9c0eac9 pushed by riccardobrasca
September 10, 2024 08:54 32m 39s master
master
September 10, 2024 08:54 32m 39s
nicer .github/workflows/push.yml #244: Commit 190acb7 pushed by riccardobrasca
September 9, 2024 16:30 34m 52s master
master
September 9, 2024 16:30 34m 52s
why not .github/workflows/push.yml #243: Commit eb68f8f pushed by riccardobrasca
September 9, 2024 16:27 3m 56s master
master
September 9, 2024 16:27 3m 56s
bump .github/workflows/push.yml #242: Commit 2a65e91 pushed by riccardobrasca
September 7, 2024 05:55 34m 39s master
master
September 7, 2024 05:55 34m 39s
bump .github/workflows/push.yml #241: Commit 8a49bb7 pushed by riccardobrasca
August 13, 2024 02:55 30m 25s master
master
August 13, 2024 02:55 30m 25s
bump .github/workflows/push.yml #240: Commit 3ed02a8 pushed by riccardobrasca
August 11, 2024 09:08 31m 10s master
master
August 11, 2024 09:08 31m 10s
bump .github/workflows/push.yml #239: Commit aa6888f pushed by riccardobrasca
August 4, 2024 07:50 33m 32s master
master
August 4, 2024 07:50 33m 32s
bump .github/workflows/push.yml #238: Commit 07d90cb pushed by riccardobrasca
August 1, 2024 08:22 32m 32s master
master
August 1, 2024 08:22 32m 32s
Reapply "Merge branch 'master' of https://github.com/leanprover-commu… .github/workflows/push.yml #237: Commit 22f39e8 pushed by CBirkbeck
July 31, 2024 10:20 32m 33s master
master
July 31, 2024 10:20 32m 33s
Revert "Merge branch 'master' of https://github.com/leanprover-commun… .github/workflows/push.yml #236: Commit 09e8302 pushed by CBirkbeck
July 31, 2024 10:19 27s master
master
July 31, 2024 10:19 27s
bump .github/workflows/push.yml #235: Commit 0309e08 pushed by riccardobrasca
July 31, 2024 10:18 1m 47s master
master
July 31, 2024 10:18 1m 47s
comments on Hilbert 92 proof .github/workflows/push.yml #234: Commit ccd9c38 pushed by riccardobrasca
July 31, 2024 10:14 3m 56s master
master
July 31, 2024 10:14 3m 56s
Revert "Merge branch 'master' of https://github.com/leanprover-commun… .github/workflows/push.yml #233: Commit 09e8302 pushed by CBirkbeck
July 31, 2024 10:10 4m 21s master
master
July 31, 2024 10:10 4m 21s
Merge branch 'master' of https://github.com/leanprover-community/flt-… .github/workflows/push.yml #232: Commit aa9aed2 pushed by CBirkbeck
July 31, 2024 09:50 20m 33s master
master
July 31, 2024 09:50 20m 33s
bump .github/workflows/push.yml #231: Commit 0309e08 pushed by riccardobrasca
July 31, 2024 09:03 30m 52s master
master
July 31, 2024 09:03 30m 52s
better name .github/workflows/push.yml #230: Commit 015f73f pushed by riccardobrasca
July 31, 2024 08:36 11m 8s master
master
July 31, 2024 08:36 11m 8s
bump .github/workflows/push.yml #229: Commit 53e3a93 pushed by riccardobrasca
July 26, 2024 12:50 31m 1s master
master
July 26, 2024 12:50 31m 1s
useless .github/workflows/push.yml #228: Commit 0628d47 pushed by riccardobrasca
July 26, 2024 11:47 34m 19s master
master
July 26, 2024 11:47 34m 19s
bump .github/workflows/push.yml #227: Commit 7b647cf pushed by riccardobrasca
July 25, 2024 10:35 31m 16s master
master
July 25, 2024 10:35 31m 16s