Skip to content

Actions: songyahui/AlgebraicEffect

Actions

Main workflow

Actions

Loading...

Show workflow options

Create status badge

main.yml
296 workflow runs
296 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Main workflow Main workflow #307: Scheduled
May 20, 2024 01:45 6m 54s StagedSL
StagedSL
May 20, 2024 01:45 6m 54s
Main workflow Main workflow #306: Scheduled
May 13, 2024 01:47 3m 56s StagedSL
StagedSL
May 13, 2024 01:47 3m 56s
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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