Skip to content

Actions: CBirkbeck/FltRegulartest

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update
.github/workflows/push.yml #17: Commit 9d7e77a pushed by CBirkbeck
July 23, 2024 15:29 33m 46s master
July 23, 2024 15:29 33m 46s
.github/workflows/push.yml
.github/workflows/push.yml #16: Manually run by CBirkbeck
July 23, 2024 13:03 59m 13s master
July 23, 2024 13:03 59m 13s
Update content.tex
.github/workflows/push.yml #15: Commit bd5c5d2 pushed by CBirkbeck
March 19, 2024 09:51 55m 33s master
March 19, 2024 09:51 55m 33s
Fix CI for push.yml too
.github/workflows/push.yml #14: Commit 09cdb62 pushed by utensil
March 19, 2024 03:28 49m 15s master
March 19, 2024 03:28 49m 15s
Fix CI
.github/workflows/push.yml #13: Commit 7117a47 pushed by utensil
March 19, 2024 02:36 47m 20s master
March 19, 2024 02:36 47m 20s
Update push.yml
.github/workflows/push.yml #12: Commit afaee9c pushed by CBirkbeck
March 18, 2024 17:11 48m 33s master
March 18, 2024 17:11 48m 33s
Update push.yml
.github/workflows/push.yml #11: Commit 33ffff1 pushed by CBirkbeck
March 18, 2024 15:44 50m 14s master
March 18, 2024 15:44 50m 14s
Update push.yml
.github/workflows/push.yml #10: Commit 44bbcee pushed by CBirkbeck
March 18, 2024 14:42 47m 54s master
March 18, 2024 14:42 47m 54s
Update main.yml
.github/workflows/push.yml #9: Commit 03fe34f pushed by CBirkbeck
March 18, 2024 13:53 47m 48s master
March 18, 2024 13:53 47m 48s
updates?
.github/workflows/push.yml #8: Commit 1dacaa5 pushed by CBirkbeck
March 18, 2024 10:37 47m 27s master
March 18, 2024 10:37 47m 27s
fix deps
.github/workflows/push.yml #7: Commit a2121d3 pushed by CBirkbeck
October 23, 2023 10:46 33m 0s master
October 23, 2023 10:46 33m 0s
tex updates
.github/workflows/push.yml #6: Commit 074e7ba pushed by CBirkbeck
October 23, 2023 09:39 58m 21s master
October 23, 2023 09:39 58m 21s
Merge pull request #3 from utensil/master
.github/workflows/push.yml #5: Commit 225cb1d pushed by utensil
October 10, 2023 18:22 44m 17s master
October 10, 2023 18:22 44m 17s
testing
.github/workflows/push.yml #4: Commit e2aee4f pushed by CBirkbeck
October 10, 2023 08:36 1h 1m 17s master
October 10, 2023 08:36 1h 1m 17s
proof of Kummer's lemma in progress
.github/workflows/push.yml #3: Commit 824d613 pushed by CBirkbeck
October 9, 2023 17:20 1h 20m 4s master
October 9, 2023 17:20 1h 20m 4s
Merge pull request #2 from utensil/master
.github/workflows/push.yml #2: Commit e7cf11f pushed by utensil
October 8, 2023 10:54 1h 15m 1s master
October 8, 2023 10:54 1h 15m 1s
Merge pull request #1 from utensil/master
.github/workflows/push.yml #1: Commit 88d7ee3 pushed by CBirkbeck
October 8, 2023 10:40 10m 12s master
October 8, 2023 10:40 10m 12s