Skip to content

Actions: ncfavier/cubical-experiments

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
15 workflow runs
15 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
hats: clarify web #14: Commit c52c36a pushed by ncfavier
March 3, 2024 20:20 3m 34s main
main
March 3, 2024 20:20 3m 34s
hats web #13: Commit dabb59c pushed by ncfavier
January 18, 2024 15:35 4m 34s main
main
January 18, 2024 15:35 4m 34s
wording web #12: Commit d0c9145 pushed by ncfavier
December 29, 2023 11:37 2m 14s main
main
December 29, 2023 11:37 2m 14s
finish hairy ball, assuming πₙ(Sⁿ) ≃ ℤ for now web #11: Commit 8bc5599 pushed by ncfavier
December 28, 2023 19:38 54s main
main
December 28, 2023 19:38 54s
add some descriptions web #10: Commit 6422264 pushed by ncfavier
December 23, 2023 10:02 2m 7s main
main
December 23, 2023 10:02 2m 7s
tangent bundles of spheres web #9: Commit f0186ba pushed by ncfavier
December 21, 2023 22:29 2m 6s main
main
December 21, 2023 22:29 2m 6s
tangent bundles of spheres web #8: Commit e97df34 pushed by ncfavier
December 21, 2023 22:22 2m 8s main
main
December 21, 2023 22:22 2m 8s
tangent bundles of spheres web #7: Commit 09a7c70 pushed by ncfavier
December 21, 2023 21:26 2m 5s main
main
December 21, 2023 21:26 2m 5s
GPL web #6: Commit 7f46946 pushed by ncfavier
December 21, 2023 01:16 2m 8s main
main
December 21, 2023 01:16 2m 8s
bump 1lab; web improvements web #5: Commit 29bab18 pushed by ncfavier
December 21, 2023 01:11 2m 13s main
main
December 21, 2023 01:11 2m 13s
cohomology nonsense web #4: Commit be8d37d pushed by ncfavier
December 11, 2023 16:38 2m 7s main
main
December 11, 2023 16:38 2m 7s
coherently constant maps into groupoids web #3: Commit 0271e02 pushed by ncfavier
November 18, 2023 09:36 2m 49s main
main
November 18, 2023 09:36 2m 49s
flake: follow nixpkgs-unstable web #2: Commit 2646faa pushed by ncfavier
November 14, 2023 11:07 3m 2s main
main
November 14, 2023 11:07 3m 2s
pages build and deployment pages-build-deployment #1: by ncfavier
October 31, 2023 01:04 1m 6s
October 31, 2023 01:04 1m 6s
add github workflow web #1: Commit 293c067 pushed by ncfavier
October 31, 2023 01:02 3m 3s main
main
October 31, 2023 01:02 3m 3s