Skip to content

Actions: MadibaGroup/2024-Gadgets

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
237 workflow runs
237 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

starting draft of sangria explanation github pages #112: Commit a0e31e5 pushed by lizz-zard
July 17, 2024 21:12 30s main
main
July 17, 2024 21:12 30s
pages build and deployment pages-build-deployment #100: by Shvier
July 11, 2024 19:41 43s host
host
July 11, 2024 19:41 43s
completeness proofs github pages #111: Commit a2514d4 pushed by lizz-zard
July 11, 2024 19:41 35s main
main
July 11, 2024 19:41 35s
pages build and deployment pages-build-deployment #99: by Shvier
July 10, 2024 15:11 38s host
host
July 10, 2024 15:11 38s
completeness github pages #110: Commit b7a12ff pushed by lizz-zard
July 10, 2024 15:10 30s main
main
July 10, 2024 15:10 30s
pages build and deployment pages-build-deployment #98: by Shvier
July 8, 2024 16:20 39s host
host
July 8, 2024 16:20 39s
completeness for add2 github pages #109: Commit 4983a93 pushed by lizz-zard
July 8, 2024 16:20 29s main
main
July 8, 2024 16:20 29s
pages build and deployment pages-build-deployment #97: by Shvier
July 7, 2024 23:41 37s host
host
July 7, 2024 23:41 37s
min github pages #108: Commit 5f82946 pushed by PulpSpy
July 7, 2024 23:41 34s main
main
July 7, 2024 23:41 34s
pages build and deployment pages-build-deployment #96: by Shvier
July 6, 2024 00:22 38s host
host
July 6, 2024 00:22 38s
completeness proof for add1 and editing completeness for rotate github pages #107: Commit 82440b8 pushed by lizz-zard
July 6, 2024 00:22 35s main
main
July 6, 2024 00:22 35s
pages build and deployment pages-build-deployment #95: by Shvier
July 4, 2024 17:54 39s host
host
July 4, 2024 17:54 39s
editing padding explanantion for rotate.md github pages #106: Commit f403985 pushed by lizz-zard
July 4, 2024 17:54 28s main
main
July 4, 2024 17:54 28s
pages build and deployment pages-build-deployment #94: by Shvier
July 4, 2024 17:43 35s host
host
July 4, 2024 17:43 35s
adding completeness proof + correcting rendering and equations for ro… github pages #105: Commit ab59b07 pushed by lizz-zard
July 4, 2024 17:43 36s main
main
July 4, 2024 17:43 36s
pages build and deployment pages-build-deployment #93: by Shvier
July 3, 2024 21:50 35s host
host
July 3, 2024 21:50 35s
minor github pages #104: Commit 2a1f7c1 pushed by PulpSpy
July 3, 2024 21:49 25s main
main
July 3, 2024 21:49 25s
pages build and deployment pages-build-deployment #92: by Shvier
July 3, 2024 21:43 38s host
host
July 3, 2024 21:43 38s
try 2 github pages #103: Commit 145be7e pushed by PulpSpy
July 3, 2024 21:43 34s main
main
July 3, 2024 21:43 34s
pages build and deployment pages-build-deployment #91: by Shvier
July 3, 2024 21:40 35s host
host
July 3, 2024 21:40 35s
equation align experiment github pages #102: Commit aff71fe pushed by PulpSpy
July 3, 2024 21:39 27s main
main
July 3, 2024 21:39 27s
pages build and deployment pages-build-deployment #90: by Shvier
July 3, 2024 21:16 41s host
host
July 3, 2024 21:16 41s
titles for background github pages #101: Commit 53598a3 pushed by PulpSpy
July 3, 2024 21:16 34s main
main
July 3, 2024 21:16 34s
pages build and deployment pages-build-deployment #89: by Shvier
July 3, 2024 21:13 36s host
host
July 3, 2024 21:13 36s
experiment with title github pages #100: Commit 6c11787 pushed by PulpSpy
July 3, 2024 21:13 28s main
main
July 3, 2024 21:13 28s