Skip to content

Actions: hipsleek/Heifer

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
315 workflow runs
315 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
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
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
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
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
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
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
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
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
Main workflow Main workflow #9: Scheduled
May 8, 2023 01:57 8m 45s StagedSL
StagedSL
May 8, 2023 01:57 8m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-05-08 or the other filters available.