Skip to content

Actions: ncfavier/cubical-experiments

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mystery: add equivalence web #40: Commit 762d580 pushed by ncfavier
July 31, 2024 21:10 1m 57s main
main
July 31, 2024 21:10 1m 57s
Mystery: init web #39: Commit 8c6e5d6 pushed by ncfavier
July 31, 2024 20:59 1m 55s main
main
July 31, 2024 20:59 1m 55s
update 1lab source web #38: Commit 04c438e pushed by ncfavier
July 20, 2024 08:11 2m 5s main
main
July 20, 2024 08:11 2m 5s
bump agda, 1lab web #37: Commit 967a249 pushed by ncfavier
July 16, 2024 11:11 2m 5s main
main
July 16, 2024 11:11 2m 5s
bump agda, 1lab web #36: Commit f4a117e pushed by ncfavier
July 16, 2024 10:18 46m 41s main
main
July 16, 2024 10:18 46m 41s
bump agda-stdlib web #35: Commit 1727565 pushed by ncfavier
July 16, 2024 09:33 29m 51s main
main
July 16, 2024 09:33 29m 51s
bump agda-stdlib web #34: Commit 1007ab4 pushed by ncfavier
July 16, 2024 09:19 11m 25s main
main
July 16, 2024 09:19 11m 25s
bump agda-stdlib web #33: Commit 583c0cb pushed by ncfavier
July 16, 2024 09:09 6m 14s main
main
July 16, 2024 09:09 6m 14s
bump agda, 1lab web #32: Commit c60e616 pushed by ncfavier
July 16, 2024 08:39 26m 19s main
main
July 16, 2024 08:39 26m 19s
Skeletons: prove that S→C is not an equivalence web #31: Commit 7ec0edf pushed by ncfavier
July 11, 2024 15:12 2m 11s main
main
July 11, 2024 15:12 2m 11s
test web #30: Commit b9eef6b pushed by ncfavier
July 11, 2024 10:04 3m 49s main
main
July 11, 2024 10:04 3m 49s
test web #29: Commit 77f4a77 pushed by ncfavier
July 11, 2024 00:59 1m 58s main
main
July 11, 2024 00:59 1m 58s
test web #28: Commit 4ac4353 pushed by ncfavier
July 11, 2024 00:57 1m 2s main
main
July 11, 2024 00:57 1m 2s
test web #27: Commit 6ac202c pushed by ncfavier
July 11, 2024 00:55 1m 3s main
main
July 11, 2024 00:55 1m 3s
Skeletons: init web #26: Commit 787aafd pushed by ncfavier
July 10, 2024 23:51 16m 24s main
main
July 10, 2024 23:51 16m 24s
NaiveFunext: comments web #25: Commit 135c27e pushed by ncfavier
July 7, 2024 12:24 1m 59s main
main
July 7, 2024 12:24 1m 59s
NaiveFunext: init web #24: Commit f01cdbd pushed by ncfavier
July 7, 2024 11:23 2m 16s main
main
July 7, 2024 11:23 2m 16s
rewrite the build system in Haskell web #23: Commit 502a11d pushed by ncfavier
July 5, 2024 17:09 2m 20s main
main
July 5, 2024 17:09 2m 20s
Applicative: finish equality proof web #22: Commit 98431fb pushed by ncfavier
July 2, 2024 17:36 2m 8s main
main
July 2, 2024 17:36 2m 8s
more font tweaks web #21: Commit 86d7fa7 pushed by ncfavier
July 2, 2024 17:06 1m 58s main
main
July 2, 2024 17:06 1m 58s
font-display: swap web #20: Commit f75456c pushed by ncfavier
July 2, 2024 17:02 2m 0s main
main
July 2, 2024 17:02 2m 0s
ci: pull to cachix web #19: Commit 8d9c4ca pushed by ncfavier
July 2, 2024 16:18 2m 6s main
main
July 2, 2024 16:18 2m 6s
redo colour scheme web #18: Commit 00fdb30 pushed by ncfavier
July 2, 2024 14:32 2m 1s main
main
July 2, 2024 14:32 2m 1s
handle unicode module names web #17: Commit 32fc3ed pushed by ncfavier
July 2, 2024 00:02 1m 46s main
main
July 2, 2024 00:02 1m 46s
ci: bump web #16: Commit ff40992 pushed by ncfavier
July 1, 2024 15:41 1m 48s main
main
July 1, 2024 15:41 1m 48s