Skip to content

Actions: songyahui/AlgebraicEffect

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
535 workflow runs
535 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #214: by github-pages bot
May 6, 2024 09:50 31s
May 6, 2024 09:50 31s
simplified the results Main workflow #282: Commit 6453575 pushed by songyahui
May 6, 2024 09:47 3m 35s StagedSL
StagedSL
May 6, 2024 09:47 3m 35s
pages build and deployment pages-build-deployment #213: by github-pages bot
May 6, 2024 05:48 28s
May 6, 2024 05:48 28s
check out the test case 1 Main workflow #281: Commit 0e5bb24 pushed by songyahui
May 6, 2024 05:44 3m 41s StagedSL
StagedSL
May 6, 2024 05:44 3m 41s
pages build and deployment pages-build-deployment #212: by github-pages bot
May 6, 2024 05:28 30s
May 6, 2024 05:28 30s
delete the loggings Main workflow #280: Commit ae54049 pushed by songyahui
May 6, 2024 05:25 3m 43s StagedSL
StagedSL
May 6, 2024 05:25 3m 43s
pages build and deployment pages-build-deployment #211: by github-pages bot
May 6, 2024 01:47 27s
May 6, 2024 01:47 27s
Main workflow Main workflow #279: Scheduled
May 6, 2024 01:43 3m 33s StagedSL
StagedSL
May 6, 2024 01:43 3m 33s
pages build and deployment pages-build-deployment #210: by github-pages bot
April 29, 2024 01:46 33s
April 29, 2024 01:46 33s
Main workflow Main workflow #278: Scheduled
April 29, 2024 01:42 3m 28s StagedSL
StagedSL
April 29, 2024 01:42 3m 28s
pages build and deployment pages-build-deployment #209: by github-pages bot
April 22, 2024 01:46 26s
April 22, 2024 01:46 26s
Main workflow Main workflow #277: Scheduled
April 22, 2024 01:43 3m 45s StagedSL
StagedSL
April 22, 2024 01:43 3m 45s
pages build and deployment pages-build-deployment #208: by github-pages bot
April 15, 2024 03:48 29s
April 15, 2024 03:48 29s
Main workflow Main workflow #276: Scheduled
April 15, 2024 03:45 3m 33s StagedSL
StagedSL
April 15, 2024 03:45 3m 33s
pages build and deployment pages-build-deployment #207: by github-pages bot
April 8, 2024 01:43 34s
April 8, 2024 01:43 34s
Main workflow Main workflow #275: Scheduled
April 8, 2024 01:40 3m 32s StagedSL
StagedSL
April 8, 2024 01:40 3m 32s
pages build and deployment pages-build-deployment #206: by github-pages bot
April 1, 2024 01:51 43s
April 1, 2024 01:51 43s
Main workflow Main workflow #274: Scheduled
April 1, 2024 01:47 3m 44s StagedSL
StagedSL
April 1, 2024 01:47 3m 44s
pages build and deployment pages-build-deployment #205: by github-pages bot
March 25, 2024 01:43 31s
March 25, 2024 01:43 31s
Main workflow Main workflow #273: Scheduled
March 25, 2024 01:39 3m 41s StagedSL
StagedSL
March 25, 2024 01:39 3m 41s
pages build and deployment pages-build-deployment #204: by github-pages bot
March 18, 2024 01:41 33s
March 18, 2024 01:41 33s
Main workflow Main workflow #272: Scheduled
March 18, 2024 01:38 3m 34s StagedSL
StagedSL
March 18, 2024 01:38 3m 34s
pages build and deployment pages-build-deployment #203: by github-pages bot
March 11, 2024 01:41 33s
March 11, 2024 01:41 33s
Main workflow Main workflow #271: Scheduled
March 11, 2024 01:37 3m 35s StagedSL
StagedSL
March 11, 2024 01:37 3m 35s
pages build and deployment pages-build-deployment #202: by github-pages bot
March 4, 2024 01:48 39s
March 4, 2024 01:48 39s