Skip to content

Actions: maxsnew/cubical-categorical-logic

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
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