Skip to content

Actions: maxsnew/cubical-categorical-logic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Vertical Terminal Objects CI #244: Pull request #83 synchronize by hejohns
May 20, 2024 14:19 5m 50s vertical-terminal
vertical-terminal
May 20, 2024 14:19 5m 50s
Vertical Terminal Objects CI #243: Pull request #83 synchronize by hejohns
May 20, 2024 14:18 5m 57s vertical-terminal
vertical-terminal
May 20, 2024 14:18 5m 57s
Relative monad CI #242: Pull request #92 synchronize by maxsnew
May 20, 2024 12:49 8m 40s relative-monad
relative-monad
May 20, 2024 12:49 8m 40s
Relative monad CI #241: Pull request #92 opened by maxsnew
May 20, 2024 12:45 9m 56s relative-monad
relative-monad
May 20, 2024 12:45 9m 56s
incremental make (#90) CI #240: Commit 940ceac pushed by maxsnew
May 20, 2024 04:22 6m 39s main
main
May 20, 2024 04:22 6m 39s
incremental Makefile CI #239: Pull request #90 synchronize by hejohns
May 20, 2024 04:06 5m 49s makefile-caching
makefile-caching
May 20, 2024 04:06 5m 49s
incremental Makefile CI #238: Pull request #90 synchronize by hejohns
May 20, 2024 04:05 5m 52s makefile-caching
makefile-caching
May 20, 2024 04:05 5m 52s
incremental Makefile CI #237: Pull request #90 synchronize by hejohns
May 20, 2024 03:48 5m 54s makefile-caching
makefile-caching
May 20, 2024 03:48 5m 54s
incremental Makefile CI #236: Pull request #90 synchronize by hejohns
May 20, 2024 03:47 5m 56s makefile-caching
makefile-caching
May 20, 2024 03:47 5m 56s
incremental Makefile CI #235: Pull request #90 synchronize by maxsnew
May 20, 2024 02:59 5m 53s makefile-caching
makefile-caching
May 20, 2024 02:59 5m 53s
incremental Makefile CI #234: Pull request #90 synchronize by maxsnew
May 20, 2024 02:46 5m 46s makefile-caching
makefile-caching
May 20, 2024 02:46 5m 46s
incremental Makefile CI #233: Pull request #90 synchronize by hejohns
May 19, 2024 18:02 6m 7s makefile-caching
makefile-caching
May 19, 2024 18:02 6m 7s
incremental Makefile CI #232: Pull request #90 synchronize by hejohns
May 19, 2024 17:58 5m 54s makefile-caching
makefile-caching
May 19, 2024 17:58 5m 54s
incremental Makefile CI #231: Pull request #90 synchronize by hejohns
May 19, 2024 17:46 5m 38s makefile-caching
makefile-caching
May 19, 2024 17:46 5m 38s
incremental Makefile CI #230: Pull request #90 opened by hejohns
May 19, 2024 17:40 5m 45s makefile-caching
makefile-caching
May 19, 2024 17:40 5m 45s
sync with upstream cubical (#88) CI #229: Commit ea58440 pushed by maxsnew
May 19, 2024 13:42 14m 55s main
main
May 19, 2024 13:42 14m 55s
update upstream cubical in CI CI #228: Pull request #88 synchronize by maxsnew
May 19, 2024 13:22 14m 48s cubical-sync
cubical-sync
May 19, 2024 13:22 14m 48s