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
Main workflow Main workflow #270: Scheduled
March 4, 2024 01:44 3m 42s StagedSL
StagedSL
March 4, 2024 01:44 3m 42s
pages build and deployment pages-build-deployment #201: by github-pages bot
February 29, 2024 09:46 39s
February 29, 2024 09:46 39s
m Main workflow #269: Commit 777aee9 pushed by songyahui
February 29, 2024 09:41 4m 12s StagedSL
StagedSL
February 29, 2024 09:41 4m 12s
pages build and deployment pages-build-deployment #200: by github-pages bot
February 27, 2024 03:59 38s
February 27, 2024 03:59 38s
added the test case 9, async await Main workflow #268: Commit 6d35953 pushed by songyahui
February 27, 2024 03:55 3m 32s StagedSL
StagedSL
February 27, 2024 03:55 3m 32s
pages build and deployment pages-build-deployment #199: by github-pages bot
February 27, 2024 03:54 37s
February 27, 2024 03:54 37s
adding test case 7 Main workflow #267: Commit 0b7f1d5 pushed by songyahui
February 27, 2024 03:51 3m 25s StagedSL
StagedSL
February 27, 2024 03:51 3m 25s
pages build and deployment pages-build-deployment #198: by github-pages bot
February 27, 2024 03:38 36s
February 27, 2024 03:38 36s
making the toss left in shallow working Main workflow #266: Commit 53f125a pushed by songyahui
February 27, 2024 03:35 3m 28s StagedSL
StagedSL
February 27, 2024 03:35 3m 28s
pages build and deployment pages-build-deployment #197: by github-pages bot
February 27, 2024 03:28 25s
February 27, 2024 03:28 25s
working on the test case 6 Main workflow #265: Commit 167b25c pushed by songyahui
February 27, 2024 03:24 3m 27s StagedSL
StagedSL
February 27, 2024 03:24 3m 27s
pages build and deployment pages-build-deployment #196: by github-pages bot
February 26, 2024 15:23 39s
February 26, 2024 15:23 39s
add shallow left toss example Main workflow #264: Commit fe02b0d pushed by songyahui
February 26, 2024 15:19 4m 4s StagedSL
StagedSL
February 26, 2024 15:19 4m 4s
pages build and deployment pages-build-deployment #195: by github-pages bot
February 26, 2024 15:17 25s
February 26, 2024 15:17 25s
toss right shallow is wokring Main workflow #263: Commit 46f1021 pushed by songyahui
February 26, 2024 15:13 3m 55s StagedSL
StagedSL
February 26, 2024 15:13 3m 55s
pages build and deployment pages-build-deployment #194: by github-pages bot
February 26, 2024 13:56 29s
February 26, 2024 13:56 29s
revise the shallow handler syntax Main workflow #262: Commit e612497 pushed by songyahui
February 26, 2024 13:52 3m 49s StagedSL
StagedSL
February 26, 2024 13:52 3m 49s
pages build and deployment pages-build-deployment #193: by github-pages bot
February 26, 2024 13:14 32s
February 26, 2024 13:14 32s
added the shallow handler syntax Main workflow #261: Commit e553cf0 pushed by songyahui
February 26, 2024 13:10 3m 33s StagedSL
StagedSL
February 26, 2024 13:10 3m 33s
pages build and deployment pages-build-deployment #192: by github-pages bot
February 26, 2024 10:51 33s
February 26, 2024 10:51 33s
done with the deep left recursion Main workflow #260: Commit 3d2724a pushed by songyahui
February 26, 2024 10:48 3m 28s StagedSL
StagedSL
February 26, 2024 10:48 3m 28s
pages build and deployment pages-build-deployment #191: by github-pages bot
February 26, 2024 09:44 36s
February 26, 2024 09:44 36s
added test case 4 Main workflow #259: Commit fb6a4ce pushed by songyahui
February 26, 2024 09:40 4m 2s StagedSL
StagedSL
February 26, 2024 09:40 4m 2s
pages build and deployment pages-build-deployment #190: by github-pages bot
February 26, 2024 09:17 41s
February 26, 2024 09:17 41s
finished the reasoning of toss deep and right Main workflow #258: Commit a2b5dd1 pushed by songyahui
February 26, 2024 09:14 3m 35s StagedSL
StagedSL
February 26, 2024 09:14 3m 35s