Skip to content

Actions: maxsnew/cubical-categorical-logic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

A construction of the free category without quotienting CI #354: Commit f7d5f7a pushed by maxsnew
September 23, 2024 21:47 27m 27s main
main
September 23, 2024 21:47 27m 27s
Reconcile with upstream Displayed Reasoning changes (#111) CI #353: Commit feaab16 pushed by maxsnew
September 20, 2024 13:35 28m 3s main
main
September 20, 2024 13:35 28m 3s
Reconcile with upstream Displayed Reasoning changes CI #352: Pull request #111 synchronize by maxsnew
September 20, 2024 00:44 26m 50s fix-displayed-reasoning
fix-displayed-reasoning
September 20, 2024 00:44 26m 50s
Reconcile with upstream Displayed Reasoning changes CI #351: Pull request #111 synchronize by maxsnew
September 20, 2024 00:43 28m 37s fix-displayed-reasoning
fix-displayed-reasoning
September 20, 2024 00:43 28m 37s
Reconcile with upstream Displayed Reasoning changes CI #350: Pull request #111 synchronize by maxsnew
September 20, 2024 00:40 4m 43s fix-displayed-reasoning
fix-displayed-reasoning
September 20, 2024 00:40 4m 43s
Reconcile with upstream Displayed Reasoning changes CI #349: Pull request #111 synchronize by maxsnew
September 19, 2024 21:42 27m 35s fix-displayed-reasoning
fix-displayed-reasoning
September 19, 2024 21:42 27m 35s
Reconcile with upstream Displayed Reasoning changes CI #348: Pull request #111 synchronize by hejohns
September 19, 2024 21:25 27m 26s fix-displayed-reasoning
fix-displayed-reasoning
September 19, 2024 21:25 27m 26s
Reconcile with upstream Displayed Reasoning changes CI #347: Pull request #111 synchronize by hejohns
September 19, 2024 20:50 19m 46s fix-displayed-reasoning
fix-displayed-reasoning
September 19, 2024 20:50 19m 46s
Reconcile with upstream Displayed Reasoning changes CI #346: Pull request #111 synchronize by hejohns
September 19, 2024 20:38 19m 19s fix-displayed-reasoning
fix-displayed-reasoning
September 19, 2024 20:38 19m 19s
Reconcile with upstream Displayed Reasoning changes CI #345: Pull request #111 synchronize by hejohns
September 19, 2024 20:35 19m 30s fix-displayed-reasoning
fix-displayed-reasoning
September 19, 2024 20:35 19m 30s
Reconcile with upstream Displayed Reasoning changes CI #344: Pull request #111 synchronize by hejohns
September 19, 2024 20:09 20m 52s fix-displayed-reasoning
fix-displayed-reasoning
September 19, 2024 20:09 20m 52s
Reconcile with upstream Displayed Reasoning changes CI #343: Pull request #111 synchronize by hejohns
September 19, 2024 20:03 20m 22s fix-displayed-reasoning
fix-displayed-reasoning
September 19, 2024 20:03 20m 22s
Reconcile with upstream Displayed Reasoning changes CI #342: Pull request #111 synchronize by hejohns
September 19, 2024 19:39 20m 7s fix-displayed-reasoning
fix-displayed-reasoning
September 19, 2024 19:39 20m 7s
Reconcile with upstream Displayed Reasoning changes CI #341: Pull request #111 opened by hejohns
September 16, 2024 06:31 20m 0s fix-displayed-reasoning
fix-displayed-reasoning
September 16, 2024 06:31 20m 0s
Section upstream (#107) CI #340: Commit 0762db3 pushed by maxsnew
September 12, 2024 12:20 28m 36s main
main
September 12, 2024 12:20 28m 36s
Section upstream CI #339: Pull request #107 synchronize by maxsnew
September 12, 2024 01:26 27m 56s section-upstream
section-upstream
September 12, 2024 01:26 27m 56s
Removing caching, remove Agda std-lib (#108) CI #338: Commit 06bc67f pushed by stschaef
September 11, 2024 15:02 27m 34s main
main
September 11, 2024 15:02 27m 34s
Removing caching, remove Agda std-lib CI #337: Pull request #108 opened by stschaef
September 11, 2024 14:26 27m 45s CI
CI
September 11, 2024 14:26 27m 45s
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