Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
297 workflow runs
297 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rewrite WISL lifter, debugging tweaks CI #914: Pull request #274 synchronize by NatKarmios
December 5, 2023 19:09 1h 5m 58s nat/wisl-rewrite
nat/wisl-rewrite
December 5, 2023 19:09 1h 5m 58s
Rewrite WISL lifter, debugging tweaks CI #913: Pull request #274 synchronize by NatKarmios
December 5, 2023 18:50 1h 6m 13s nat/wisl-rewrite
nat/wisl-rewrite
December 5, 2023 18:50 1h 6m 13s
Rewrite WISL lifter, debugging tweaks CI #912: Pull request #274 synchronize by NatKarmios
December 5, 2023 15:56 1h 5m 45s nat/wisl-rewrite
nat/wisl-rewrite
December 5, 2023 15:56 1h 5m 45s
Rewrite WISL lifter, debugging tweaks CI #911: Pull request #274 synchronize by NatKarmios
December 5, 2023 10:46 49m 46s nat/wisl-rewrite
nat/wisl-rewrite
December 5, 2023 10:46 49m 46s
Rewrite WISL lifter, debugging tweaks CI #910: Pull request #274 synchronize by NatKarmios
December 5, 2023 10:34 1h 18m 7s nat/wisl-rewrite
nat/wisl-rewrite
December 5, 2023 10:34 1h 18m 7s
Rewrite WISL lifter, debugging tweaks CI #909: Pull request #274 synchronize by NatKarmios
December 5, 2023 10:21 1h 17m 16s nat/wisl-rewrite
nat/wisl-rewrite
December 5, 2023 10:21 1h 17m 16s
Rewrite WISL lifter, debugging tweaks CI #908: Pull request #274 synchronize by NatKarmios
December 5, 2023 10:18 1h 26m 42s nat/wisl-rewrite
nat/wisl-rewrite
December 5, 2023 10:18 1h 26m 42s
Rewrite WISL lifter, debugging tweaks CI #907: Pull request #274 opened by NatKarmios
December 5, 2023 10:13 1h 10m 39s nat/wisl-rewrite
nat/wisl-rewrite
December 5, 2023 10:13 1h 10m 39s
[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
Merge pull request #267 from GillianPlatform/esy-overrides CI #902: Commit 500b906 pushed by NatKarmios
October 16, 2023 23:13 41m 19s master
master
October 16, 2023 23:13 41m 19s
Update esy overrides CI #901: Pull request #267 opened by NatKarmios
October 16, 2023 18:48 1h 22m 3s esy-overrides
esy-overrides
October 16, 2023 18:48 1h 22m 3s
Merge pull request #264 from GillianPlatform/nat/merge-kanillian CI #900: Commit 2a9bf28 pushed by NatKarmios
October 15, 2023 20:03 37m 52s master
master
October 15, 2023 20:03 37m 52s
Merge Kanillian CI #899: Pull request #264 synchronize by NatKarmios
October 15, 2023 19:02 1h 0m 7s nat/merge-kanillian
nat/merge-kanillian
October 15, 2023 19:02 1h 0m 7s
Merge Kanillian CI #898: Pull request #264 synchronize by NatKarmios
October 15, 2023 13:39 52m 48s nat/merge-kanillian
nat/merge-kanillian
October 15, 2023 13:39 52m 48s
Merge Kanillian CI #897: Pull request #264 synchronize by NatKarmios
October 15, 2023 12:39 1h 21m 19s nat/merge-kanillian
nat/merge-kanillian
October 15, 2023 12:39 1h 21m 19s
Merge Kanillian CI #896: Pull request #264 synchronize by NatKarmios
October 15, 2023 12:10 26m 34s nat/merge-kanillian
nat/merge-kanillian
October 15, 2023 12:10 26m 34s
Merge Kanillian CI #895: Pull request #264 synchronize by NatKarmios
October 15, 2023 10:34 28m 41s nat/merge-kanillian
nat/merge-kanillian
October 15, 2023 10:34 28m 41s
Merge Kanillian CI #894: Pull request #264 synchronize by NatKarmios
October 14, 2023 20:47 59m 45s nat/merge-kanillian
nat/merge-kanillian
October 14, 2023 20:47 59m 45s
Merge Kanillian CI #893: Pull request #264 synchronize by NatKarmios
October 13, 2023 23:21 1h 5m 57s nat/merge-kanillian
nat/merge-kanillian
October 13, 2023 23:21 1h 5m 57s
Merge Kanillian CI #892: Pull request #264 synchronize by NatKarmios
October 13, 2023 15:46 7m 5s nat/merge-kanillian
nat/merge-kanillian
October 13, 2023 15:46 7m 5s
Merge Kanillian CI #891: Pull request #264 synchronize by NatKarmios
October 13, 2023 15:04 52m 36s nat/merge-kanillian
nat/merge-kanillian
October 13, 2023 15:04 52m 36s
Merge Kanillian CI #890: Pull request #264 synchronize by NatKarmios
October 13, 2023 14:53 52m 20s nat/merge-kanillian
nat/merge-kanillian
October 13, 2023 14:53 52m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-10-13 or the other filters available.