Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kanillian C
CI #939: Pull request #270 synchronize by NatKarmios
January 12, 2024 10:25 31m 21s nat/c-lifting
January 12, 2024 10:25 31m 21s
Kanillian C
CI #938: Pull request #270 synchronize by NatKarmios
January 1, 2024 18:26 21m 19s nat/c-lifting
January 1, 2024 18:26 21m 19s
Kanillian C
CI #937: Pull request #270 synchronize by NatKarmios
December 23, 2023 01:00 45m 22s nat/c-lifting
December 23, 2023 01:00 45m 22s
Kanillian C
CI #936: Pull request #270 synchronize by NatKarmios
December 23, 2023 00:03 45m 58s nat/c-lifting
December 23, 2023 00:03 45m 58s
Kanillian C
CI #935: Pull request #270 synchronize by NatKarmios
December 22, 2023 23:55 47m 47s nat/c-lifting
December 22, 2023 23:55 47m 47s
Kanillian C
CI #934: Pull request #270 synchronize by NatKarmios
December 18, 2023 21:15 49m 31s nat/c-lifting
December 18, 2023 21:15 49m 31s
Kanillian C
CI #933: Pull request #270 synchronize by NatKarmios
December 15, 2023 00:07 50m 37s nat/c-lifting
December 15, 2023 00:07 50m 37s
Kanillian C
CI #932: Pull request #270 synchronize by NatKarmios
December 13, 2023 16:43 6m 22s nat/c-lifting
December 13, 2023 16:43 6m 22s
Merge pull request #275 from GillianPlatform/nat/debug-docs-oopsie
CI #931: Commit 7f62c89 pushed by NatKarmios
December 12, 2023 23:41 31m 58s master
December 12, 2023 23:41 31m 58s
Fix errors in debugger Sphinx docs
CI #930: Pull request #275 synchronize by NatKarmios
December 12, 2023 23:41 1h 13m 15s nat/debug-docs-oopsie
December 12, 2023 23:41 1h 13m 15s
Rust catch-up (#273)
CI #929: Commit c7bbb9e pushed by giltho
December 12, 2023 23:40 47m 38s master
December 12, 2023 23:40 47m 38s
Rust catch-up
CI #928: Pull request #273 synchronize by giltho
December 12, 2023 14:25 46m 43s magic-wand
December 12, 2023 14:25 46m 43s
Rust catch-up
CI #927: Pull request #273 synchronize by giltho
December 12, 2023 14:22 46m 29s magic-wand
December 12, 2023 14:22 46m 29s
Rust catch-up
CI #926: Pull request #273 synchronize by giltho
December 12, 2023 13:57 48m 28s magic-wand
December 12, 2023 13:57 48m 28s
Rust catch-up
CI #925: Pull request #273 synchronize by giltho
December 12, 2023 11:52 1h 21m 0s magic-wand
December 12, 2023 11:52 1h 21m 0s
Rust catch-up
CI #924: Pull request #273 synchronize by giltho
December 11, 2023 21:46 5m 58s magic-wand
December 11, 2023 21:46 5m 58s
Fix errors in debugger Sphinx docs
CI #923: Pull request #275 opened by NatKarmios
December 11, 2023 17:22 47m 15s nat/debug-docs-oopsie
December 11, 2023 17:22 47m 15s
Merge pull request #274 from GillianPlatform/nat/wisl-rewrite
CI #922: Commit 5ac2402 pushed by NatKarmios
December 6, 2023 18:06 49m 40s master
December 6, 2023 18:06 49m 40s
Rewrite WISL lifter, debugging tweaks
CI #921: Pull request #274 synchronize by NatKarmios
December 5, 2023 20:37 55m 25s nat/wisl-rewrite
December 5, 2023 20:37 55m 25s
Rewrite WISL lifter, debugging tweaks
CI #920: Pull request #274 synchronize by NatKarmios
December 5, 2023 20:37 52m 21s nat/wisl-rewrite
December 5, 2023 20:37 52m 21s
Rewrite WISL lifter, debugging tweaks
CI #919: Pull request #274 synchronize by NatKarmios
December 5, 2023 20:37 48m 51s nat/wisl-rewrite
December 5, 2023 20:37 48m 51s
Rewrite WISL lifter, debugging tweaks
CI #918: Pull request #274 synchronize by NatKarmios
December 5, 2023 20:36 47m 50s nat/wisl-rewrite
December 5, 2023 20:36 47m 50s
Rewrite WISL lifter, debugging tweaks
CI #917: Pull request #274 synchronize by NatKarmios
December 5, 2023 20:36 47m 38s nat/wisl-rewrite
December 5, 2023 20:36 47m 38s
Rewrite WISL lifter, debugging tweaks
CI #916: Pull request #274 synchronize by NatKarmios
December 5, 2023 20:36 47m 23s nat/wisl-rewrite
December 5, 2023 20:36 47m 23s
Rewrite WISL lifter, debugging tweaks
CI #915: Pull request #274 synchronize by NatKarmios
December 5, 2023 20:34 47m 3s nat/wisl-rewrite
December 5, 2023 20:34 47m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.