Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
73 workflow run results
73 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI tweaks .github/workflows/push.yml #48: Commit 2b07b60 pushed by PatrickMassot
January 29, 2024 16:08 20m 3s main
main
January 29, 2024 16:08 20m 3s
Update GENERAL.md .github/workflows/push.yml #47: Commit 7f0b285 pushed by kbuzzard
January 19, 2024 20:18 22m 7s main
main
January 19, 2024 20:18 22m 7s
fix blueprint? .github/workflows/push.yml #46: Commit 42cfb0a pushed by kbuzzard
January 19, 2024 20:15 25m 55s main
main
January 19, 2024 20:15 25m 55s
Merge pull request #10 from ImperialCollegeLondon/fix-ci .github/workflows/push.yml #45: Commit a87931f pushed by utensil
December 15, 2023 04:40 22m 26s main
main
December 15, 2023 04:40 22m 26s
remove final stealth definition .github/workflows/push.yml #44: Commit 7c1d8ad pushed by kbuzzard
December 15, 2023 00:05 44s main
main
December 15, 2023 00:05 44s
finish removing LeanCopilot (attempt to get build working again) .github/workflows/push.yml #43: Commit dd52139 pushed by kbuzzard
December 15, 2023 00:05 48s main
main
December 15, 2023 00:05 48s
remove the stealth definition .github/workflows/push.yml #42: Commit e818768 pushed by kbuzzard
December 14, 2023 23:55 38s main
main
December 14, 2023 23:55 38s
try removing LeanCopilot? .github/workflows/push.yml #41: Commit 1f16421 pushed by kbuzzard
December 14, 2023 23:52 41s main
main
December 14, 2023 23:52 41s
add more LaTeX abbreviations .github/workflows/push.yml #40: Commit ddb5ab1 pushed by kbuzzard
December 14, 2023 23:22 1m 0s main
main
December 14, 2023 23:22 1m 0s
Add bibliography .github/workflows/push.yml #39: Commit 70f5179 pushed by kbuzzard
December 14, 2023 22:49 45s main
main
December 14, 2023 22:49 45s
add stealth (no blueprint) definition option .github/workflows/push.yml #38: Commit ee41119 pushed by kbuzzard
December 14, 2023 22:43 55s main
main
December 14, 2023 22:43 55s
update mathlib .github/workflows/push.yml #37: Commit d86512f pushed by kbuzzard
December 14, 2023 19:15 38s main
main
December 14, 2023 19:15 38s
Merge branch 'main' of github.com:ImperialCollegeLondon/FLT into main .github/workflows/push.yml #36: Commit 47f7af4 pushed by kbuzzard
December 14, 2023 19:11 22m 24s main
main
December 14, 2023 19:11 22m 24s
tidy up .github/workflows/push.yml #35: Commit 5c5e4b8 pushed by kbuzzard
December 10, 2023 15:53 20m 46s main
main
December 10, 2023 15:53 20m 46s
Merge pull request #9 from ImperialCollegeLondon/fix-main .github/workflows/push.yml #34: Commit 5f8a788 pushed by utensil
December 10, 2023 15:37 21m 31s main
main
December 10, 2023 15:37 21m 31s
split into two chapters .github/workflows/push.yml #33: Commit b198fb3 pushed by kbuzzard
December 9, 2023 00:15 21m 56s main
main
December 9, 2023 00:15 21m 56s
Add more information about blueprint. .github/workflows/push.yml #32: Commit 5283d76 pushed by kbuzzard
December 8, 2023 22:52 22m 36s main
main
December 8, 2023 22:52 22m 36s
typos .github/workflows/push.yml #31: Commit 3db7ad7 pushed by kbuzzard
December 8, 2023 01:53 20m 17s main
main
December 8, 2023 01:53 20m 17s
even more import reduction .github/workflows/push.yml #30: Commit c6cfe54 pushed by kbuzzard
December 8, 2023 01:33 22m 54s main
main
December 8, 2023 01:33 22m 54s
reduce imports .github/workflows/push.yml #29: Commit a0234e4 pushed by kbuzzard
December 8, 2023 01:26 20m 13s main
main
December 8, 2023 01:26 20m 13s
attempt to get graph perfect .github/workflows/push.yml #28: Commit cbc4764 pushed by kbuzzard
December 8, 2023 01:22 54m 13s main
main
December 8, 2023 01:22 54m 13s
nearly ready to release .github/workflows/push.yml #27: Commit 6ca20c6 pushed by kbuzzard
December 8, 2023 00:22 48m 43s main
main
December 8, 2023 00:22 48m 43s
fix triangle issue? .github/workflows/push.yml #26: Commit 57ef63a pushed by kbuzzard
December 7, 2023 22:25 52m 7s main
main
December 7, 2023 22:25 52m 7s
fix LaTeX .github/workflows/push.yml #25: Commit 6850926 pushed by kbuzzard
December 7, 2023 22:22 54m 52s main
main
December 7, 2023 22:22 54m 52s
tidying up LaTeX .github/workflows/push.yml #24: Commit 7d77e24 pushed by kbuzzard
December 7, 2023 22:20 53m 57s main
main
December 7, 2023 22:20 53m 57s