Skip to content

Actions: JonBannon/ArithmeticSite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Updates to the programme Compile blueprint #45: Commit f5dc407 pushed by JonBannon
59m 51s main
main
59m 51s
Update README.md Compile blueprint #44: Commit fa45f8e pushed by JonBannon
48m 4s main
main
48m 4s
Enhance README with additional project details Compile blueprint #43: Commit 89a8cdd pushed by JonBannon
7m 12s main
main
7m 12s
Removed deprecated code and fixed breakage Compile blueprint #42: Commit 1e23fa9 pushed by JonBannon
49m 28s main
main
49m 28s
Link to the webpage. Compile blueprint #41: Commit 91c3e9c pushed by JonBannon
51m 8s main
main
51m 8s
Issue with module site pages run. Compile blueprint #40: Commit 4e387bb pushed by JonBannon
50m 9s main
main
50m 9s
Attempt again to fix docs. Compile blueprint #39: Commit 751499a pushed by JonBannon
8m 11s main
main
8m 11s
Disk space issue? Compile blueprint #38: Commit ae3aaf1 pushed by JonBannon
7m 52s main
main
7m 52s
stopping doubled CI runs Compile blueprint #37: Commit 20532a1 pushed by JonBannon
7m 0s main
main
7m 0s
try to fix web deployment Lean Action CI #37: Commit 9fe2250 pushed by JonBannon
1m 28s main
main
1m 28s
try to fix web deployment Compile blueprint #36: Commit 9fe2250 pushed by JonBannon
1m 31s main
main
1m 31s
initial StructureSheaf definition Compile blueprint #35: Commit a06dc91 pushed by JonBannon
5m 51s main
main
5m 51s
initial StructureSheaf definition Lean Action CI #36: Commit a06dc91 pushed by JonBannon
45m 30s main
main
45m 30s
Inserted copyrights Compile blueprint #34: Commit 5c4e26c pushed by JonBannon
50m 57s main
main
50m 57s
Inserted copyrights Lean Action CI #35: Commit 5c4e26c pushed by JonBannon
40m 7s main
main
40m 7s
moved expose public section to below module docstrings Lean Action CI #34: Commit f5e5087 pushed by JonBannon
44m 23s main
main
44m 23s
moved expose public section to below module docstrings Compile blueprint #33: Commit f5e5087 pushed by JonBannon
3m 27s main
main
3m 27s
removed basic.lean Lean Action CI #33: Commit b3f0b4a pushed by JonBannon
41m 41s main
main
41m 41s
removed basic.lean Compile blueprint #32: Commit b3f0b4a pushed by JonBannon
2m 13s main
main
2m 13s
pushing changes Lean Action CI #32: Commit a668729 pushed by JonBannon
1h 58m 42s main
main
1h 58m 42s
pushing changes Compile blueprint #31: Commit a668729 pushed by JonBannon
7m 6s main
main
7m 6s
Added several content files and linked to blueprint Compile blueprint #30: Commit e889852 pushed by JonBannon
3m 59s main
main
3m 59s
Added several content files and linked to blueprint Lean Action CI #31: Commit e889852 pushed by JonBannon
2h 32m 1s main
main
2h 32m 1s
Deprecated changes in GitHub fixed Lean Action CI #30: Commit bfa3659 pushed by JonBannon
2h 0m 33s main
main
2h 0m 33s
Web.paux update Lean Action CI #29: Commit 65fb171 pushed by JonBannon
1h 56m 37s main
main
1h 56m 37s