Skip to content

Actions: songyahui/AlgebraicEffect

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
531 workflow runs
531 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #237: by github-pages bot
May 10, 2024 03:58 27s
May 10, 2024 03:58 27s
done with schedular Main workflow #305: Commit 01f36ee pushed by songyahui
May 10, 2024 03:54 3m 46s StagedSL
StagedSL
May 10, 2024 03:54 3m 46s
pages build and deployment pages-build-deployment #236: by github-pages bot
May 10, 2024 03:44 28s
May 10, 2024 03:44 28s
done with the schedular Main workflow #304: Commit 44b21ba pushed by songyahui
May 10, 2024 03:40 3m 45s StagedSL
StagedSL
May 10, 2024 03:40 3m 45s
pages build and deployment pages-build-deployment #235: by github-pages bot
May 9, 2024 15:18 30s
May 9, 2024 15:18 30s
giving up for today Main workflow #303: Commit 5b3c646 pushed by songyahui
May 9, 2024 15:14 3m 46s StagedSL
StagedSL
May 9, 2024 15:14 3m 46s
pages build and deployment pages-build-deployment #234: by github-pages bot
May 9, 2024 12:29 33s
May 9, 2024 12:29 33s
kind of tired Main workflow #302: Commit 6865f0c pushed by songyahui
May 9, 2024 12:24 5m 32s StagedSL
StagedSL
May 9, 2024 12:24 5m 32s
pages build and deployment pages-build-deployment #233: by github-pages bot
May 9, 2024 07:33 32s
May 9, 2024 07:33 32s
accedentally succeeded Main workflow #301: Commit 4131d8b pushed by songyahui
May 9, 2024 07:29 3m 44s StagedSL
StagedSL
May 9, 2024 07:29 3m 44s
pages build and deployment pages-build-deployment #232: by github-pages bot
May 9, 2024 07:17 38s
May 9, 2024 07:17 38s
the base case is done Main workflow #300: Commit e905a89 pushed by songyahui
May 9, 2024 07:13 3m 54s StagedSL
StagedSL
May 9, 2024 07:13 3m 54s
pages build and deployment pages-build-deployment #231: by github-pages bot
May 9, 2024 07:00 30s
May 9, 2024 07:00 30s
adjusted the modeling Main workflow #299: Commit 77f64de pushed by songyahui
May 9, 2024 06:56 3m 49s StagedSL
StagedSL
May 9, 2024 06:56 3m 49s
pages build and deployment pages-build-deployment #230: by github-pages bot
May 9, 2024 06:36 27s
May 9, 2024 06:36 27s
working in progress Main workflow #298: Commit cbf308a pushed by songyahui
May 9, 2024 06:32 4m 14s StagedSL
StagedSL
May 9, 2024 06:32 4m 14s
pages build and deployment pages-build-deployment #229: by github-pages bot
May 9, 2024 06:04 37s
May 9, 2024 06:04 37s
in progress Main workflow #297: Commit 50abc19 pushed by songyahui
May 9, 2024 06:00 3m 36s StagedSL
StagedSL
May 9, 2024 06:00 3m 36s
pages build and deployment pages-build-deployment #228: by github-pages bot
May 9, 2024 02:12 41s
May 9, 2024 02:12 41s
working amb Main workflow #296: Commit 79ea5b3 pushed by songyahui
May 9, 2024 02:09 3m 41s StagedSL
StagedSL
May 9, 2024 02:09 3m 41s
pages build and deployment pages-build-deployment #227: by github-pages bot
May 8, 2024 15:44 28s
May 8, 2024 15:44 28s
almost done Main workflow #295: Commit cca5b94 pushed by songyahui
May 8, 2024 15:40 3m 43s StagedSL
StagedSL
May 8, 2024 15:40 3m 43s
pages build and deployment pages-build-deployment #226: by github-pages bot
May 8, 2024 12:49 29s
May 8, 2024 12:49 29s
making some progress Main workflow #294: Commit b8135a7 pushed by songyahui
May 8, 2024 12:45 3m 36s StagedSL
StagedSL
May 8, 2024 12:45 3m 36s
pages build and deployment pages-build-deployment #225: by github-pages bot
May 8, 2024 07:43 32s
May 8, 2024 07:43 32s