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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump .github/workflows/push.yml #25: Commit 7b96a04 pushed by Ruben-VandeVelde
November 17, 2023 17:13 14m 19s master
master
November 17, 2023 17:13 14m 19s
Remove some whitespace .github/workflows/push.yml #24: Commit 91a4f58 pushed by Ruben-VandeVelde
November 17, 2023 16:33 15m 32s master
master
November 17, 2023 16:33 15m 32s
bump .github/workflows/push.yml #23: Commit b0ac52b pushed by Ruben-VandeVelde
November 17, 2023 16:32 1m 13s master
master
November 17, 2023 16:32 1m 13s
bump .github/workflows/push.yml #22: Commit 7710008 pushed by riccardobrasca
November 16, 2023 19:39 34m 5s master
master
November 16, 2023 19:39 34m 5s
Merge pull request #97 from leanprover-community/erd1/kummerslemma .github/workflows/push.yml #21: Commit 0b0ad03 pushed by riccardobrasca
November 16, 2023 18:26 33m 35s master
master
November 16, 2023 18:26 33m 35s
Prove exists_alg_int .github/workflows/push.yml #20: Commit 10f4f07 pushed by Ruben-VandeVelde
November 16, 2023 11:22 30m 21s master
master
November 16, 2023 11:22 30m 21s
Update README.md .github/workflows/push.yml #19: Commit 4a1e4ab pushed by riccardobrasca
November 13, 2023 10:37 30m 50s master
master
November 13, 2023 10:37 30m 50s
Update README.md .github/workflows/push.yml #18: Commit 4132b98 pushed by riccardobrasca
November 13, 2023 10:36 1m 40s master
master
November 13, 2023 10:36 1m 40s
fix build .github/workflows/push.yml #17: Commit 89571f0 pushed by riccardobrasca
November 11, 2023 10:50 42m 43s master
master
November 11, 2023 10:50 42m 43s
use lake .github/workflows/push.yml #16: Commit fa9ae62 pushed by riccardobrasca
November 11, 2023 10:31 13m 26s master
master
November 11, 2023 10:31 13m 26s
bump .github/workflows/push.yml #15: Commit 5784576 pushed by riccardobrasca
November 11, 2023 10:29 1m 48s master
master
November 11, 2023 10:29 1m 48s
move files .github/workflows/push.yml #14: Commit a68ed38 pushed by riccardobrasca
November 6, 2023 15:50 33m 46s master
master
November 6, 2023 15:50 33m 46s
golf .github/workflows/push.yml #13: Commit e8ea484 pushed by riccardobrasca
November 6, 2023 15:33 17m 10s master
master
November 6, 2023 15:33 17m 10s
bump .github/workflows/push.yml #12: Commit a43e862 pushed by riccardobrasca
November 6, 2023 09:34 55m 1s master
master
November 6, 2023 09:34 55m 1s
bump .github/workflows/push.yml #11: Commit 7c64986 pushed by riccardobrasca
November 2, 2023 10:42 1h 4m 21s master
master
November 2, 2023 10:42 1h 4m 21s
t3 .github/workflows/push.yml #10: Commit a5b9cd8 pushed by CBirkbeck
October 23, 2023 17:24 50m 39s master
master
October 23, 2023 17:24 50m 39s
try2 .github/workflows/push.yml #9: Commit 47a3948 pushed by CBirkbeck
October 23, 2023 17:23 Failure master
master
October 23, 2023 17:23 Failure
cache test .github/workflows/push.yml #8: Commit 9832ae8 pushed by CBirkbeck
October 23, 2023 17:22 Failure master
master
October 23, 2023 17:22 Failure
typo .github/workflows/push.yml #7: Commit 648d5b3 pushed by CBirkbeck
October 23, 2023 17:13 9m 48s master
master
October 23, 2023 17:13 9m 48s
Merge branch 'master' of https://github.com/leanprover-community/flt-… .github/workflows/push.yml #6: Commit 0470e02 pushed by CBirkbeck
October 23, 2023 17:07 6m 28s master
master
October 23, 2023 17:07 6m 28s
Update README.md .github/workflows/push.yml #5: Commit e2aa49d pushed by CBirkbeck
October 23, 2023 17:02 4m 38s master
master
October 23, 2023 17:02 4m 38s
Update lakefile.lean .github/workflows/push.yml #4: Commit 58c147f pushed by riccardobrasca
October 23, 2023 15:31 42m 24s master
master
October 23, 2023 15:31 42m 24s
let's try this .github/workflows/push.yml #3: Commit 17f03b6 pushed by riccardobrasca
October 23, 2023 15:10 14m 7s master
master
October 23, 2023 15:10 14m 7s
Update lake-manifest.json .github/workflows/push.yml #2: Commit 38d7f03 pushed by riccardobrasca
October 23, 2023 15:01 2m 32s master
master
October 23, 2023 15:01 2m 32s
Delete lakefile.olean .github/workflows/push.yml #1: Commit 6216030 pushed by riccardobrasca
October 23, 2023 14:31 21m 0s master
master
October 23, 2023 14:31 21m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-10-23 or the other filters available.