Skip to content

Actions: maxsnew/cubical-categorical-logic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Section upstream CI #336: Pull request #107 synchronize by maxsnew
September 10, 2024 20:49 25m 42s section-upstream
section-upstream
September 10, 2024 20:49 25m 42s
Section upstream CI #335: Pull request #107 opened by maxsnew
September 10, 2024 20:19 22m 59s section-upstream
section-upstream
September 10, 2024 20:19 22m 59s
Add Makefile support for .lagda.md and make Gluing/Conservativity.agda (#101) literate CI #334: Pull request #106 opened by hejohns
August 12, 2024 22:45 30m 27s literate-agda
literate-agda
August 12, 2024 22:45 30m 27s
Conservativity of freely adding 1,× to a free Category (#101) CI #333: Commit ff997b6 pushed by maxsnew
August 4, 2024 17:04 8m 45s main
main
August 4, 2024 17:04 8m 45s
Alternate Definitions of Displayed Cats + Profunctor Homomorphism Stu… CI #332: Commit 6a851e8 pushed by maxsnew
August 4, 2024 16:30 15m 1s main
main
August 4, 2024 16:30 15m 1s
Coend CI #331: Pull request #78 synchronize by bond15
August 3, 2024 14:50 8m 17s coend
coend
August 3, 2024 14:50 8m 17s
Conservativity of freely adding 1,× to a free Category CI #330: Pull request #101 synchronize by hejohns
August 2, 2024 22:21 6m 7s conservativity
conservativity
August 2, 2024 22:21 6m 7s
Conservativity of freely adding 1,× to a free Category CI #329: Pull request #101 synchronize by hejohns
August 2, 2024 02:23 8m 34s conservativity
conservativity
August 2, 2024 02:23 8m 34s
Cartesian Closed Category structure on Presheaves (#102) CI #328: Commit 1ab50fb pushed by maxsnew
August 1, 2024 03:14 12m 12s main
main
August 1, 2024 03:14 12m 12s
Presheaf ccc CI #327: Pull request #102 synchronize by maxsnew
August 1, 2024 02:59 12m 14s Presheaf-CCC
Presheaf-CCC
August 1, 2024 02:59 12m 14s
Presheaf ccc CI #326: Pull request #102 synchronize by maxsnew
August 1, 2024 01:04 10m 6s Presheaf-CCC
Presheaf-CCC
August 1, 2024 01:04 10m 6s
Presheaf ccc CI #325: Pull request #102 synchronize by bond15
July 31, 2024 02:36 10m 17s Presheaf-CCC
Presheaf-CCC
July 31, 2024 02:36 10m 17s
Presheaf ccc CI #324: Pull request #102 synchronize by maxsnew
July 31, 2024 00:30 8m 25s Presheaf-CCC
Presheaf-CCC
July 31, 2024 00:30 8m 25s
spin off fix-whitespace into its own CI step (#105) CI #323: Commit 2bfe5d4 pushed by maxsnew
July 31, 2024 00:28 7m 41s main
main
July 31, 2024 00:28 7m 41s
spin off fix-whitespace into its own CI step CI #322: Pull request #105 synchronize by maxsnew
July 31, 2024 00:17 8m 44s split-fix-whitespace
split-fix-whitespace
July 31, 2024 00:17 8m 44s
spin off fix-whitespace into its own CI step CI #321: Pull request #105 opened by maxsnew
July 31, 2024 00:10 5m 56s split-fix-whitespace
split-fix-whitespace
July 31, 2024 00:10 5m 56s
Presheaf ccc CI #320: Pull request #102 synchronize by bond15
July 30, 2024 22:48 3m 37s Presheaf-CCC
Presheaf-CCC
July 30, 2024 22:48 3m 37s
Presheaf ccc CI #319: Pull request #102 synchronize by bond15
July 30, 2024 22:00 10m 26s Presheaf-CCC
Presheaf-CCC
July 30, 2024 22:00 10m 26s
Presheaf ccc CI #318: Pull request #102 synchronize by bond15
July 30, 2024 18:44 10m 50s Presheaf-CCC
Presheaf-CCC
July 30, 2024 18:44 10m 50s
Conservativity of freely adding 1,× to a free Category CI #317: Pull request #101 synchronize by hejohns
July 29, 2024 04:18 6m 41s conservativity
conservativity
July 29, 2024 04:18 6m 41s
Alternate Definitions of Displayed Cats + Profunctor Homomorphism Stuff + Ends CI #316: Pull request #104 opened by maxsnew
July 28, 2024 18:41 13m 28s displayed-category-alt
displayed-category-alt
July 28, 2024 18:41 13m 28s
Conservativity of freely adding 1,× to a free Category CI #315: Pull request #101 synchronize by hejohns
July 24, 2024 23:29 6m 12s conservativity
conservativity
July 24, 2024 23:29 6m 12s
Presheaf ccc CI #314: Pull request #102 synchronize by hejohns
July 24, 2024 23:08 8m 27s Presheaf-CCC
Presheaf-CCC
July 24, 2024 23:08 8m 27s
Conservativity of freely adding 1,× to a free Category CI #313: Pull request #101 synchronize by hejohns
July 24, 2024 22:57 2m 58s conservativity
conservativity
July 24, 2024 22:57 2m 58s
Conservativity of freely adding 1,× to a free Category CI #312: Pull request #101 synchronize by hejohns
July 24, 2024 21:32 3m 2s conservativity
conservativity
July 24, 2024 21:32 3m 2s