Skip to content

Actions: cmcmA20/cubical-mini

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
622 workflow runs
622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP almost-full relations Ubuntu build #692: Pull request #62 synchronize by clayrat
November 16, 2024 00:09 2m 21s clayrat:almost-full
clayrat:almost-full
November 16, 2024 00:09 2m 21s
WIP almost-full relations Ubuntu build #691: Pull request #62 synchronize by clayrat
November 15, 2024 23:49 2m 33s clayrat:almost-full
clayrat:almost-full
November 15, 2024 23:49 2m 33s
WIP almost-full relations Ubuntu build #690: Pull request #62 synchronize by clayrat
November 15, 2024 18:42 1m 55s clayrat:almost-full
clayrat:almost-full
November 15, 2024 18:42 1m 55s
WIP almost-full relations Ubuntu build #689: Pull request #62 synchronize by clayrat
November 15, 2024 17:59 27m 7s clayrat:almost-full
clayrat:almost-full
November 15, 2024 17:59 27m 7s
WIP almost-full relations Ubuntu build #688: Pull request #62 synchronize by clayrat
November 15, 2024 13:03 1m 31s clayrat:almost-full
clayrat:almost-full
November 15, 2024 13:03 1m 31s
WIP almost-full relations Ubuntu build #687: Pull request #62 synchronize by clayrat
November 15, 2024 12:08 27m 51s clayrat:almost-full
clayrat:almost-full
November 15, 2024 12:08 27m 51s
pages build and deployment pages-build-deployment #294: by github-pages bot
November 14, 2024 02:26 39s
November 14, 2024 02:26 39s
tweak linear container morphism def Ubuntu build #686: Commit e206bdf pushed by cmcmA20
November 14, 2024 01:58 27m 52s master
master
November 14, 2024 01:58 27m 52s
WIP almost-full relations Ubuntu build #685: Pull request #62 synchronize by clayrat
November 11, 2024 16:55 8m 34s clayrat:almost-full
clayrat:almost-full
November 11, 2024 16:55 8m 34s
WIP almost-full relations Ubuntu build #684: Pull request #62 synchronize by clayrat
November 11, 2024 15:41 1m 41s clayrat:almost-full
clayrat:almost-full
November 11, 2024 15:41 1m 41s
WIP almost-full relations Ubuntu build #683: Pull request #62 synchronize by clayrat
November 11, 2024 14:01 27m 6s clayrat:almost-full
clayrat:almost-full
November 11, 2024 14:01 27m 6s
pages build and deployment pages-build-deployment #293: by github-pages bot
November 10, 2024 07:19 37s
November 10, 2024 07:19 37s
make proofs about Map/Idiom/Bind opaque Ubuntu build #682: Commit 4475272 pushed by cmcmA20
November 10, 2024 06:52 26m 49s master
master
November 10, 2024 06:52 26m 49s
WIP almost-full relations Ubuntu build #681: Pull request #62 synchronize by clayrat
November 8, 2024 01:12 8m 18s clayrat:almost-full
clayrat:almost-full
November 8, 2024 01:12 8m 18s
pages build and deployment pages-build-deployment #292: by github-pages bot
November 8, 2024 01:09 40s
November 8, 2024 01:09 40s
container typeclass Ubuntu build #680: Commit 5429aef pushed by cmcmA20
November 8, 2024 01:01 8m 16s master
master
November 8, 2024 01:01 8m 16s
pages build and deployment pages-build-deployment #291: by github-pages bot
November 7, 2024 17:28 43s
November 7, 2024 17:28 43s
more lemmas about >>= Ubuntu build #679: Commit 6ca5a33 pushed by cmcmA20
November 7, 2024 17:20 8m 29s master
master
November 7, 2024 17:20 8m 29s
WIP almost-full relations Ubuntu build #678: Pull request #62 synchronize by clayrat
November 7, 2024 16:33 8m 27s clayrat:almost-full
clayrat:almost-full
November 7, 2024 16:33 8m 27s
pages build and deployment pages-build-deployment #290: by github-pages bot
November 7, 2024 16:13 43s
November 7, 2024 16:13 43s
WIP almost-full relations Ubuntu build #677: Pull request #62 synchronize by cmcmA20
November 7, 2024 16:06 6m 25s clayrat:almost-full
clayrat:almost-full
November 7, 2024 16:06 6m 25s
tweak Meta.Effect Ubuntu build #676: Commit 2c681f7 pushed by cmcmA20
November 7, 2024 16:05 8m 10s master
master
November 7, 2024 16:05 8m 10s
WIP almost-full relations Ubuntu build #675: Pull request #62 synchronize by clayrat
November 6, 2024 21:21 1m 45s clayrat:almost-full
clayrat:almost-full
November 6, 2024 21:21 1m 45s
WIP almost-full relations Ubuntu build #674: Pull request #62 synchronize by clayrat
November 6, 2024 16:34 10m 51s clayrat:almost-full
clayrat:almost-full
November 6, 2024 16:34 10m 51s
WIP almost-full relations Ubuntu build #673: Pull request #62 opened by clayrat
November 6, 2024 15:15 8m 21s clayrat:almost-full
clayrat:almost-full
November 6, 2024 15:15 8m 21s