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

add bash comment CI #269: Commit 973af7b pushed by stschaef
May 29, 2024 20:45 5m 52s main
main
May 29, 2024 20:45 5m 52s
Gluing for Free cat with terminal objects CI #268: Pull request #95 synchronize by maxsnew
May 29, 2024 20:30 9m 6s terminal-gluing
terminal-gluing
May 29, 2024 20:30 9m 6s
Gluing for Free cat with terminal objects CI #267: Pull request #95 synchronize by maxsnew
May 29, 2024 19:59 8m 48s terminal-gluing
terminal-gluing
May 29, 2024 19:59 8m 48s
Coend CI #266: Pull request #78 synchronize by bond15
May 25, 2024 02:41 5m 50s coend
coend
May 25, 2024 02:41 5m 50s
Coend CI #265: Pull request #78 synchronize by bond15
May 25, 2024 02:31 5m 51s coend
coend
May 25, 2024 02:31 5m 51s
Coend CI #264: Pull request #78 synchronize by bond15
May 25, 2024 02:15 8m 38s coend
coend
May 25, 2024 02:15 8m 38s
Coend CI #263: Pull request #78 synchronize by bond15
May 25, 2024 02:09 3m 18s coend
coend
May 25, 2024 02:09 3m 18s
Coend CI #262: Pull request #78 synchronize by bond15
May 25, 2024 02:01 5m 23s coend
coend
May 25, 2024 02:01 5m 23s
Coend CI #261: Pull request #78 synchronize by bond15
May 25, 2024 02:00 3m 4s coend
coend
May 25, 2024 02:00 3m 4s
SETᴰ has VerticalTerminalsᴰ CI #260: Commit 018eb36 pushed by maxsnew
May 23, 2024 16:04 8m 31s main
main
May 23, 2024 16:04 8m 31s
SETᴰ has VerticalTerminalsᴰ CI #259: Pull request #96 opened by hejohns
May 23, 2024 15:41 8m 39s vertical-terminal-SETᴰ
vertical-terminal-SETᴰ
May 23, 2024 15:41 8m 39s
Vertical products CI #258: Pull request #94 synchronize by hejohns
May 22, 2024 21:18 6m 29s vertical-product
vertical-product
May 22, 2024 21:18 6m 29s
Gluing for Free cat with terminal objects CI #257: Pull request #95 opened by maxsnew
May 22, 2024 20:42 8m 48s terminal-gluing
terminal-gluing
May 22, 2024 20:42 8m 48s
Vertical products CI #256: Pull request #94 synchronize by hejohns
May 22, 2024 18:26 6m 10s vertical-product
vertical-product
May 22, 2024 18:26 6m 10s
Vertical products CI #255: Pull request #94 synchronize by hejohns
May 22, 2024 14:33 6m 15s vertical-product
vertical-product
May 22, 2024 14:33 6m 15s
Vertical products CI #254: Pull request #94 synchronize by hejohns
May 21, 2024 15:40 43m 24s vertical-product
vertical-product
May 21, 2024 15:40 43m 24s
Vertical products CI #253: Pull request #94 synchronize by hejohns
May 21, 2024 15:25 15m 28s vertical-product
vertical-product
May 21, 2024 15:25 15m 28s
Vertical products CI #252: Pull request #94 synchronize by hejohns
May 21, 2024 14:01 38m 30s vertical-product
vertical-product
May 21, 2024 14:01 38m 30s
Vertical Terminal Objects, some naming updates (#83) CI #251: Commit 6bb2d8a pushed by maxsnew
May 20, 2024 20:21 7m 8s main
main
May 20, 2024 20:21 7m 8s
move line length check to separate script (#93) CI #250: Commit be7f79c pushed by maxsnew
May 20, 2024 17:51 6m 20s main
main
May 20, 2024 17:51 6m 20s
move line length check to script CI #249: Pull request #93 synchronize by hejohns
May 20, 2024 14:52 5m 57s check-line-lengths
check-line-lengths
May 20, 2024 14:52 5m 57s
move line length check to script CI #248: Pull request #93 synchronize by hejohns
May 20, 2024 14:39 3m 11s check-line-lengths
check-line-lengths
May 20, 2024 14:39 3m 11s
move line length check to script CI #247: Pull request #93 synchronize by hejohns
May 20, 2024 14:36 3m 31s check-line-lengths
check-line-lengths
May 20, 2024 14:36 3m 31s
move line length check to script CI #246: Pull request #93 opened by hejohns
May 20, 2024 14:33 3m 6s check-line-lengths
check-line-lengths
May 20, 2024 14:33 3m 6s
Vertical Terminal Objects CI #245: Pull request #83 synchronize by hejohns
May 20, 2024 14:22 6m 4s vertical-terminal
vertical-terminal
May 20, 2024 14:22 6m 4s