Skip to content

Actions: maxsnew/cubical-categorical-logic

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coherence theorem for monoidal categories CI #361: Pull request #112 synchronize by maxsnew
October 22, 2024 00:25 30m 19s monoidal-cat
monoidal-cat
October 22, 2024 00:25 30m 19s
Coherence theorem for monoidal categories CI #360: Pull request #112 synchronize by maxsnew
October 21, 2024 20:53 22m 58s monoidal-cat
monoidal-cat
October 21, 2024 20:53 22m 58s
Coherence theorem for monoidal categories CI #359: Pull request #112 synchronize by maxsnew
October 21, 2024 20:46 28m 8s monoidal-cat
monoidal-cat
October 21, 2024 20:46 28m 8s
Coherence theorem for monoidal categories CI #358: Pull request #112 synchronize by maxsnew
October 21, 2024 19:39 27m 39s monoidal-cat
monoidal-cat
October 21, 2024 19:39 27m 39s
Coherence theorem for monoidal categories CI #357: Pull request #112 synchronize by maxsnew
October 21, 2024 15:14 28m 1s monoidal-cat
monoidal-cat
October 21, 2024 15:14 28m 1s
Coherence theorem for monoidal categories CI #356: Pull request #112 synchronize by maxsnew
October 21, 2024 04:23 26m 9s monoidal-cat
monoidal-cat
October 21, 2024 04:23 26m 9s
Coherence theorem for monoidal categories CI #355: Pull request #112 opened by maxsnew
October 20, 2024 14:17 26m 36s monoidal-cat
monoidal-cat
October 20, 2024 14:17 26m 36s
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