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
Fix bug with fresh variables being used Main workflow #23: Commit c45d9e0 pushed by dariusf
May 18, 2023 09:18 40s StagedSL
StagedSL
May 18, 2023 09:18 40s
pages build and deployment pages-build-deployment #12: by github-pages bot
May 18, 2023 07:57 40s
May 18, 2023 07:57 40s
Carry precondition forward as part of the residue Main workflow #22: Commit b543c87 pushed by dariusf
May 18, 2023 07:53 4m 17s StagedSL
StagedSL
May 18, 2023 07:53 4m 17s
pages build and deployment pages-build-deployment #11: by github-pages bot
May 18, 2023 07:28 40s
May 18, 2023 07:28 40s
Improve spec highlighting Main workflow #21: Commit 23f5f21 pushed by dariusf
May 18, 2023 07:24 4m 7s StagedSL
StagedSL
May 18, 2023 07:24 4m 7s
pages build and deployment pages-build-deployment #10: by github-pages bot
May 18, 2023 07:11 39s
May 18, 2023 07:11 39s
Update other tests after bugfixes Main workflow #20: Commit da3608b pushed by dariusf
May 18, 2023 07:06 5m 3s StagedSL
StagedSL
May 18, 2023 07:06 5m 3s
pages build and deployment pages-build-deployment #9: by github-pages bot
May 17, 2023 03:31 36s
May 17, 2023 03:31 36s
added compose and apply programs Main workflow #19: Commit 6200908 pushed by songyahui
May 17, 2023 03:26 5m 1s StagedSL
StagedSL
May 17, 2023 03:26 5m 1s
pages build and deployment pages-build-deployment #8: by github-pages bot
May 15, 2023 03:16 38s
May 15, 2023 03:16 38s
Fix empty quantifier crash Main workflow #18: Commit 28254cc pushed by dariusf
May 15, 2023 03:12 4m 21s StagedSL
StagedSL
May 15, 2023 03:12 4m 21s
Fix highlighting Main workflow #17: Commit 28961db pushed by dariusf
May 15, 2023 03:07 5m 1s StagedSL
StagedSL
May 15, 2023 03:07 5m 1s
Main workflow Main workflow #16: Scheduled
May 15, 2023 01:59 4m 11s StagedSL
StagedSL
May 15, 2023 01:59 4m 11s
pages build and deployment pages-build-deployment #7: by github-pages bot
May 15, 2023 01:24 45s
May 15, 2023 01:24 45s
Web z3 Main workflow #15: Commit 71ba312 pushed by dariusf
May 15, 2023 01:18 5m 18s StagedSL
StagedSL
May 15, 2023 01:18 5m 18s
pages build and deployment pages-build-deployment #6: by github-pages bot
May 13, 2023 04:51 37s
May 13, 2023 04:51 37s
Predicates somewhat working Main workflow #14: Commit b09d0b6 pushed by dariusf
May 13, 2023 04:46 5m 12s StagedSL
StagedSL
May 13, 2023 04:46 5m 12s
Predicates somewhat working Main workflow #13: Commit 9dc2588 pushed by dariusf
May 13, 2023 04:35 4m 2s StagedSL
StagedSL
May 13, 2023 04:35 4m 2s
Predicates somewhat working Main workflow #12: Commit 5dfd2c0 pushed by dariusf
May 13, 2023 04:29 4m 56s StagedSL
StagedSL
May 13, 2023 04:29 4m 56s
pages build and deployment pages-build-deployment #5: by github-pages bot
May 10, 2023 08:33 39s
May 10, 2023 08:33 39s
Fix lots of small bugs, add higher-order tests Main workflow #11: Commit efcd33c pushed by dariusf
May 10, 2023 08:28 5m 14s StagedSL
StagedSL
May 10, 2023 08:28 5m 14s
Fix lots of small bugs, add higher-order tests Main workflow #10: Commit acf9789 pushed by dariusf
May 10, 2023 08:08 4m 24s StagedSL
StagedSL
May 10, 2023 08:08 4m 24s
pages build and deployment pages-build-deployment #4: by github-pages bot
May 8, 2023 02:06 49s
May 8, 2023 02:06 49s
Main workflow Main workflow #9: Scheduled
May 8, 2023 01:57 8m 45s StagedSL
StagedSL
May 8, 2023 01:57 8m 45s
Main workflow Main workflow #8: Scheduled
May 1, 2023 01:58 5m 18s StagedSL
StagedSL
May 1, 2023 01:58 5m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-05-01 or the other filters available.