Skip to content

Actions: phijor/cubical-containers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove lax projection functor Fst
Type check and publish library #27: Commit c53c745 pushed by phijor
January 13, 2025 13:24 3m 18s main
January 13, 2025 13:24 3m 18s
Bury some ⚰️ under the GpdCont.Experimental module tree
Type check and publish library #26: Commit d677dd3 pushed by phijor
January 8, 2025 17:33 3m 19s main
January 8, 2025 17:33 3m 19s
Remove some obsolete lax functors of 2-categories
Type check and publish library #25: Commit 321c9d1 pushed by phijor
January 8, 2025 16:30 54s main
January 8, 2025 16:30 54s
Remove some obsolete lax functors of 2-categories
Type check and publish library #24: Commit 321c9d1 pushed by phijor
January 8, 2025 16:26 3m 4s strict-functors
January 8, 2025 16:26 3m 4s
Remove some obsolete lax functors of 2-categories
Type check and publish library #23: Commit d48c865 pushed by phijor
January 8, 2025 16:20 3m 38s strict-functors
January 8, 2025 16:20 3m 38s
Delooping of group actions is a *strict* 2-functor
Type check and publish library #22: Commit 1536c1c pushed by phijor
January 7, 2025 17:07 3m 56s strict-functors
January 7, 2025 17:07 3m 56s
Define displayed strict 2-functors
Type check and publish library #21: Commit bbf48c5 pushed by phijor
December 27, 2024 23:14 3m 50s strict-functors
December 27, 2024 23:14 3m 50s
The forgetful functor from a 2-subcategory is strict
Type check and publish library #20: Commit c1ba5f0 pushed by phijor
December 26, 2024 09:27 3m 36s strict-functors
December 26, 2024 09:27 3m 36s
Do not print Nix version to speed up CI run
Type check and publish library #19: Commit d446fcf pushed by phijor
December 25, 2024 23:39 3m 17s main
December 25, 2024 23:39 3m 17s
Interpretation of symmetric containers is a strict 2-functor
Type check and publish library #18: Commit 4e87e9d pushed by phijor
December 25, 2024 23:32 3m 40s strict-functors
December 25, 2024 23:32 3m 40s
Interpretation of symmetric containers is a strict 2-functor
Type check and publish library #17: Commit f5a7d5a pushed by phijor
December 25, 2024 23:27 1m 53s strict-functors
December 25, 2024 23:27 1m 53s
Remove unused import of GpdCont.Delooping
Type check and publish library #16: Commit e36a5a0 pushed by phijor
December 25, 2024 23:19 1m 23s main
December 25, 2024 23:19 1m 23s
Remove unused import of GpdCont.Delooping
Type check and publish library #15: Commit e36a5a0 pushed by phijor
December 25, 2024 23:12 3m 29s delooping-refactor
December 25, 2024 23:12 3m 29s
Show that multiplication, conjugation are isomorphisms of groups
Type check and publish library #14: Commit af361f2 pushed by phijor
December 25, 2024 23:05 3m 43s delooping-refactor
December 25, 2024 23:05 3m 43s
Repurpose reflection-based monoid solver for groups
Type check and publish library #13: Commit 8e03a68 pushed by phijor
December 25, 2024 14:07 3m 41s delooping-refactor
December 25, 2024 14:07 3m 41s
Interpretation of symmetric containers is a strict 2-functor
Type check and publish library #12: Commit c76c9e8 pushed by phijor
December 25, 2024 09:59 3m 39s strict-functors
December 25, 2024 09:59 3m 39s
Delooping of groups is a *strict* 2-functor
Type check and publish library #11: Commit dc24b00 pushed by phijor
December 20, 2024 18:29 3m 37s strict-functors
December 20, 2024 18:29 3m 37s
Rename 1-, 2-, and wild categories of symmetric containers
Type check and publish library #10: Commit 3f50534 pushed by phijor
December 20, 2024 18:16 1m 17s main
December 20, 2024 18:16 1m 17s
Rename 1-, 2-, and wild categories of symmetric containers
Type check and publish library #9: Commit 3f50534 pushed by phijor
December 20, 2024 18:10 3m 45s symmetric-container-refactor
December 20, 2024 18:10 3m 45s
Add a helper for squares of morphisms of symmetric containers
Type check and publish library #8: Commit 63273b4 pushed by phijor
December 20, 2024 16:55 3m 54s main
December 20, 2024 16:55 3m 54s
Delooping of groups is a *strict* 2-functor
Type check and publish library #7: Commit 90102b1 pushed by phijor
December 20, 2024 16:55 3m 39s strict-functors
December 20, 2024 16:55 3m 39s
Fill remaining holes showing that groups form a 2-category
Type check and publish library #6: Commit a716d71 pushed by phijor
December 20, 2024 16:34 3m 59s main
December 20, 2024 16:34 3m 59s
Link to README.agda from README.md
Type check and publish library #5: Commit ed79f0c pushed by phijor
December 18, 2024 15:57 4m 16s main
December 18, 2024 15:57 4m 16s
fixup! Remove outdated definitions of action containers in terms of h…
Type check and publish library #4: Commit 972fa53 pushed by phijor
December 18, 2024 15:56 1m 15s main
December 18, 2024 15:56 1m 15s
Link to README.agda from README.md
Type check and publish library #3: Commit 0ce87ad pushed by phijor
December 18, 2024 15:53 1m 26s main
December 18, 2024 15:53 1m 26s