Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
279 workflow runs
279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abstract debugger (+ WPST debugging) CI #862: Pull request #261 opened by NatKarmios
August 31, 2023 16:10 1h 18m 17s nat/debug-wpst
nat/debug-wpst
August 31, 2023 16:10 1h 18m 17s
Bi-abduction working (#260) CI #861: Commit 86aa850 pushed by giltho
August 29, 2023 11:09 49m 56s master
master
August 29, 2023 11:09 49m 56s
Bi-abduction working CI #860: Pull request #260 synchronize by NatKarmios
August 28, 2023 18:32 59m 16s nat/collections-c-bi
nat/collections-c-bi
August 28, 2023 18:32 59m 16s
Bi-abduction working CI #859: Pull request #260 synchronize by NatKarmios
August 26, 2023 23:44 1h 5m 4s nat/collections-c-bi
nat/collections-c-bi
August 26, 2023 23:44 1h 5m 4s
Bi-abduction working CI #858: Pull request #260 synchronize by NatKarmios
August 26, 2023 23:43 1h 12m 37s nat/collections-c-bi
nat/collections-c-bi
August 26, 2023 23:43 1h 12m 37s
Bi-abduction working CI #857: Pull request #260 synchronize by NatKarmios
August 26, 2023 01:56 1h 7m 3s nat/collections-c-bi
nat/collections-c-bi
August 26, 2023 01:56 1h 7m 3s
Bi-abduction working CI #856: Pull request #260 synchronize by NatKarmios
August 25, 2023 15:49 6h 0m 32s nat/collections-c-bi
nat/collections-c-bi
August 25, 2023 15:49 6h 0m 32s
Bi-abduction working CI #855: Pull request #260 synchronize by NatKarmios
August 25, 2023 14:32 1h 52m 16s nat/collections-c-bi
nat/collections-c-bi
August 25, 2023 14:32 1h 52m 16s
Bi-abduction working CI #854: Pull request #260 synchronize by NatKarmios
August 16, 2023 18:31 1h 4m 57s nat/collections-c-bi
nat/collections-c-bi
August 16, 2023 18:31 1h 4m 57s
Bi-abduction working CI #853: Pull request #260 synchronize by NatKarmios
August 16, 2023 15:14 1h 46m 20s nat/collections-c-bi
nat/collections-c-bi
August 16, 2023 15:14 1h 46m 20s
Bi-abduction working CI #852: Pull request #260 synchronize by giltho
August 8, 2023 14:20 1h 10m 51s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 14:20 1h 10m 51s
Bi-abduction working CI #851: Pull request #260 synchronize by giltho
August 8, 2023 14:19 1h 7m 11s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 14:19 1h 7m 11s
Bi-abduction working CI #850: Pull request #260 synchronize by NatKarmios
August 8, 2023 04:04 1h 30m 46s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 04:04 1h 30m 46s
Bi-abduction working CI #849: Pull request #260 synchronize by NatKarmios
August 8, 2023 03:38 16m 36s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 03:38 16m 36s
Bi-abduction working CI #848: Pull request #260 synchronize by NatKarmios
August 8, 2023 03:26 1m 40s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 03:26 1m 40s
Bi-abduction working CI #847: Pull request #260 synchronize by NatKarmios
August 8, 2023 03:06 1m 32s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 03:06 1m 32s
Bi-abduction working CI #846: Pull request #260 synchronize by NatKarmios
August 8, 2023 03:04 1m 48s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 03:04 1m 48s
Bi-abduction working CI #845: Pull request #260 synchronize by NatKarmios
August 8, 2023 02:51 3m 2s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 02:51 3m 2s
Bi-abduction working CI #844: Pull request #260 synchronize by NatKarmios
August 8, 2023 02:50 1m 49s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 02:50 1m 49s
Bi-abduction working CI #843: Pull request #260 synchronize by NatKarmios
August 8, 2023 02:47 4m 38s nat/collections-c-bi
nat/collections-c-bi
August 8, 2023 02:47 4m 38s
Bi-abduction working CI #842: Pull request #260 synchronize by NatKarmios
August 4, 2023 15:57 16m 3s nat/collections-c-bi
nat/collections-c-bi
August 4, 2023 15:57 16m 3s
Bi-abduction working CI #841: Pull request #260 synchronize by NatKarmios
August 4, 2023 15:39 1h 31m 46s nat/collections-c-bi
nat/collections-c-bi
August 4, 2023 15:39 1h 31m 46s
Bi-abduction working CI #840: Pull request #260 synchronize by NatKarmios
August 4, 2023 14:47 1h 36m 32s nat/collections-c-bi
nat/collections-c-bi
August 4, 2023 14:47 1h 36m 32s
Try cURLing from gnu mirror CI #839: Commit 0670cbf pushed by NatKarmios
August 4, 2023 13:51 20s nat/dumb-ci
nat/dumb-ci
August 4, 2023 13:51 20s
Try cURLing from gnu mirror CI #838: Commit 43a98aa pushed by NatKarmios
August 4, 2023 13:46 4m 30s nat/dumb-ci
nat/dumb-ci
August 4, 2023 13:46 4m 30s
ProTip! You can narrow down the results and go further in time using created:<2023-08-04 or the other filters available.