Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow run results
4 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Old] Rewrite WISL lifter, debugging tweaks CI #906: Pull request #272 synchronize by NatKarmios
November 28, 2023 13:04 4m 55s nat/fix-demo
nat/fix-demo
November 28, 2023 13:04 4m 55s
[Old] Rewrite WISL lifter, debugging tweaks CI #905: Pull request #272 opened by NatKarmios
November 28, 2023 13:02 1h 24m 49s nat/fix-demo
nat/fix-demo
November 28, 2023 13:02 1h 24m 49s
Update manual.wisl CI #904: Pull request #271 opened by z5146542
November 27, 2023 14:34 1h 18m 37s z5146542-patch-1
z5146542-patch-1
November 27, 2023 14:34 1h 18m 37s
Kanillian C CI #903: Pull request #270 opened by NatKarmios
November 24, 2023 16:53 39m 53s nat/c-lifting
nat/c-lifting
November 24, 2023 16:53 39m 53s