Skip to content

Actions: maxsnew/cubical-categorical-logic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
327 workflow runs
327 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Monoidal combinators (#115) CI #371: Commit 4e7b1c3 pushed by stschaef
October 28, 2024 15:30 30m 39s main
main
October 28, 2024 15:30 30m 39s
Monoidal combinators CI #370: Pull request #115 synchronize by maxsnew
October 26, 2024 03:20 30m 47s monoidal-combinators
monoidal-combinators
October 26, 2024 03:20 30m 47s
Monoidal combinators CI #369: Pull request #115 opened by maxsnew
October 25, 2024 20:22 9m 3s monoidal-combinators
monoidal-combinators
October 25, 2024 20:22 9m 3s
CI CI #368: Manually run by stschaef
October 23, 2024 14:40 10m 3s CI
CI
October 23, 2024 14:40 10m 3s
CI CI #367: Manually run by stschaef
October 23, 2024 14:29 9m 1s CI
CI
October 23, 2024 14:29 9m 1s
Coherence theorem for monoidal categories (#112) CI #366: Commit 295cc5d pushed by maxsnew
October 22, 2024 22:13 30m 9s main
main
October 22, 2024 22:13 30m 9s
Coherence theorem for monoidal categories CI #365: Pull request #112 synchronize by maxsnew
October 22, 2024 21:33 30m 21s monoidal-cat
monoidal-cat
October 22, 2024 21:33 30m 21s
Coherence theorem for monoidal categories CI #364: Pull request #112 synchronize by maxsnew
October 22, 2024 16:39 30m 16s monoidal-cat
monoidal-cat
October 22, 2024 16:39 30m 16s
Coherence theorem for monoidal categories CI #363: Pull request #112 synchronize by maxsnew
October 22, 2024 15:15 30m 17s monoidal-cat
monoidal-cat
October 22, 2024 15:15 30m 17s
Coherence theorem for monoidal categories CI #362: Pull request #112 synchronize by maxsnew
October 22, 2024 13:33 31m 7s monoidal-cat
monoidal-cat
October 22, 2024 13:33 31m 7s
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