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
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
wrote a note Main workflow #293: Commit b8c05eb pushed by songyahui
May 8, 2024 07:33 10m 8s StagedSL
StagedSL
May 8, 2024 07:33 10m 8s
pages build and deployment pages-build-deployment #224: by github-pages bot
May 8, 2024 06:55 26s
May 8, 2024 06:55 26s
in the middle Main workflow #292: Commit f2808f4 pushed by songyahui
May 8, 2024 06:52 3m 43s StagedSL
StagedSL
May 8, 2024 06:52 3m 43s
pages build and deployment pages-build-deployment #223: by github-pages bot
May 7, 2024 15:59 33s
May 7, 2024 15:59 33s
aux is working Main workflow #291: Commit 0424ff3 pushed by songyahui
May 7, 2024 15:55 3m 36s StagedSL
StagedSL
May 7, 2024 15:55 3m 36s
pages build and deployment pages-build-deployment #222: by github-pages bot
May 7, 2024 06:53 30s
May 7, 2024 06:53 30s
is there is no lemma then keep the try catch construct in the spec Main workflow #290: Commit 2649a2f pushed by songyahui
May 7, 2024 06:50 3m 53s StagedSL
StagedSL
May 7, 2024 06:50 3m 53s
pages build and deployment pages-build-deployment #221: by github-pages bot
May 7, 2024 06:14 32s
May 7, 2024 06:14 32s
clean up the printing Main workflow #289: Commit d4d18e5 pushed by songyahui
May 7, 2024 06:11 3m 36s StagedSL
StagedSL
May 7, 2024 06:11 3m 36s
pages build and deployment pages-build-deployment #220: by github-pages bot
May 7, 2024 06:06 37s
May 7, 2024 06:06 37s
pages build and deployment pages-build-deployment #219: by github-pages bot
May 7, 2024 06:04 33s
May 7, 2024 06:04 33s
deep handlers examples are done Main workflow #288: Commit f79a512 pushed by songyahui
May 7, 2024 06:02 3m 34s StagedSL
StagedSL
May 7, 2024 06:02 3m 34s
walked around the power example Main workflow #287: Commit 380d817 pushed by songyahui
May 7, 2024 06:01 3m 41s StagedSL
StagedSL
May 7, 2024 06:01 3m 41s
pages build and deployment pages-build-deployment #218: by github-pages bot
May 7, 2024 04:18 37s
May 7, 2024 04:18 37s
revisited the inductive sum Main workflow #286: Commit e1588ea pushed by songyahui
May 7, 2024 04:14 3m 56s StagedSL
StagedSL
May 7, 2024 04:14 3m 56s
pages build and deployment pages-build-deployment #217: by github-pages bot
May 7, 2024 04:08 27s
May 7, 2024 04:08 27s
I realised that we do not need to prove the entailment of handler spe… Main workflow #285: Commit 41c90ad pushed by songyahui
May 7, 2024 04:04 3m 41s StagedSL
StagedSL
May 7, 2024 04:04 3m 41s
pages build and deployment pages-build-deployment #216: by github-pages bot
May 7, 2024 03:35 33s
May 7, 2024 03:35 33s
added the full parsing support for try catch lemmas Main workflow #284: Commit c1ac23f pushed by songyahui
May 7, 2024 03:31 3m 29s StagedSL
StagedSL
May 7, 2024 03:31 3m 29s
pages build and deployment pages-build-deployment #215: by github-pages bot
May 6, 2024 16:00 33s
May 6, 2024 16:00 33s
minor Main workflow #283: Commit 9232210 pushed by songyahui
May 6, 2024 15:56 3m 42s StagedSL
StagedSL
May 6, 2024 15:56 3m 42s