Skip to content

Actions: um-catlab/cubical-categorical-logic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
515 workflow runs
515 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Levy local state CI #876: Pull request #274 synchronize by bond15
3m 0s levy-local-state
levy-local-state
3m 0s
Levy local state CI #875: Pull request #274 synchronize by bond15
2m 40s levy-local-state
levy-local-state
2m 40s
Levy local state CI #874: Pull request #274 synchronize by bond15
29m 32s levy-local-state
levy-local-state
29m 32s
Levy local state CI #873: Pull request #274 synchronize by bond15
26m 32s levy-local-state
levy-local-state
26m 32s
Metatheory for Unary CBPV Enriched in Algebraic Structures CI #872: Pull request #270 synchronize by maxsnew
29m 15s alg-theories
alg-theories
29m 15s
Metatheory for Unary CBPV Enriched in Algebraic Structures CI #871: Pull request #270 synchronize by maxsnew
31m 52s alg-theories
alg-theories
31m 52s
Levy local state CI #870: Pull request #274 synchronize by bond15
2m 46s levy-local-state
levy-local-state
2m 46s
Levy local state CI #869: Pull request #274 synchronize by bond15
2m 51s levy-local-state
levy-local-state
2m 51s
Levy local state CI #868: Pull request #274 synchronize by bond15
32m 8s levy-local-state
levy-local-state
32m 8s
Levy local state CI #867: Pull request #274 synchronize by bond15
2m 41s levy-local-state
levy-local-state
2m 41s
Levy local state CI #866: Pull request #274 synchronize by bond15
2m 31s levy-local-state
levy-local-state
2m 31s
Levy local state CI #865: Pull request #274 synchronize by bond15
30m 46s levy-local-state
levy-local-state
30m 46s
Levy local state CI #864: Pull request #274 synchronize by bond15
14m 32s levy-local-state
levy-local-state
14m 32s
Levy local state CI #863: Pull request #274 synchronize by bond15
16m 43s levy-local-state
levy-local-state
16m 43s
Levy local state CI #862: Pull request #274 synchronize by bond15
2m 34s levy-local-state
levy-local-state
2m 34s
Levy local state CI #861: Pull request #274 synchronize by bond15
2m 23s levy-local-state
levy-local-state
2m 23s
Levy local state CI #860: Pull request #274 synchronize by bond15
2m 38s levy-local-state
levy-local-state
2m 38s
Levy local state CI #859: Pull request #274 synchronize by bond15
2m 29s levy-local-state
levy-local-state
2m 29s
Levy local state CI #858: Pull request #274 opened by bond15
2m 57s levy-local-state
levy-local-state
2m 57s
Local state CI #857: Pull request #272 synchronize by bond15
3m 40s local-state
local-state
3m 40s
Local state CI #856: Pull request #272 synchronize by bond15
3m 39s local-state
local-state
3m 39s
pages build and deployment pages-build-deployment #62: by github-pages Bot
52s gh-pages
gh-pages
52s
Local state CI #855: Pull request #272 synchronize by bond15
5m 20s local-state
local-state
5m 20s
Metatheory for Unary CBPV Enriched in Algebraic Structures CI #854: Pull request #270 synchronize by maxsnew
5m 37s alg-theories
alg-theories
5m 37s
Additive Unary CBPV Metatheory (#267) CI #853: Commit 82334ff pushed by maxsnew
6m 13s main
main
6m 13s