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

Fix some debug bugs, organise debugging examples (#279) CI #964: Commit adb44df pushed by NatKarmios
March 20, 2024 00:14 12m 37s master
master
March 20, 2024 00:14 12m 37s
Fix some debug bugs, organise debugging examples CI #963: Pull request #279 opened by NatKarmios
March 18, 2024 16:47 44m 29s nat/debug-examples
nat/debug-examples
March 18, 2024 16:47 44m 29s
Merge pull request #270 from GillianPlatform/nat/c-lifting CI #962: Commit 3efef67 pushed by NatKarmios
March 14, 2024 02:30 15m 4s master
master
March 14, 2024 02:30 15m 4s
Kanillian C CI #961: Pull request #270 synchronize by NatKarmios
March 13, 2024 12:45 42m 43s nat/c-lifting
nat/c-lifting
March 13, 2024 12:45 42m 43s
Kanillian C CI #960: Pull request #270 synchronize by NatKarmios
March 13, 2024 01:00 42m 41s nat/c-lifting
nat/c-lifting
March 13, 2024 01:00 42m 41s
Kanillian C CI #959: Pull request #270 synchronize by NatKarmios
March 13, 2024 00:51 44m 23s nat/c-lifting
nat/c-lifting
March 13, 2024 00:51 44m 23s
Kanillian C CI #958: Pull request #270 synchronize by NatKarmios
March 13, 2024 00:51 42m 57s nat/c-lifting
nat/c-lifting
March 13, 2024 00:51 42m 57s
gillian.json in sync with esy.json CI #957: Commit f102459 pushed by giltho
March 7, 2024 20:06 33m 44s master
master
March 7, 2024 20:06 33m 44s
Kanillian C CI #956: Pull request #270 synchronize by NatKarmios
March 2, 2024 03:55 25m 1s nat/c-lifting
nat/c-lifting
March 2, 2024 03:55 25m 1s
Kanillian C CI #955: Pull request #270 synchronize by NatKarmios
February 21, 2024 09:31 6m 29s nat/c-lifting
nat/c-lifting
February 21, 2024 09:31 6m 29s
Kanillian C CI #954: Pull request #270 synchronize by NatKarmios
February 21, 2024 09:05 5m 21s nat/c-lifting
nat/c-lifting
February 21, 2024 09:05 5m 21s
Kanillian C CI #953: Pull request #270 synchronize by NatKarmios
February 20, 2024 23:26 8m 6s nat/c-lifting
nat/c-lifting
February 20, 2024 23:26 8m 6s
Kanillian C CI #952: Pull request #270 synchronize by NatKarmios
February 18, 2024 19:59 6m 30s nat/c-lifting
nat/c-lifting
February 18, 2024 19:59 6m 30s
Kanillian C CI #951: Pull request #270 synchronize by NatKarmios
February 17, 2024 11:08 6m 38s nat/c-lifting
nat/c-lifting
February 17, 2024 11:08 6m 38s
Kanillian C CI #950: Pull request #270 synchronize by NatKarmios
February 14, 2024 17:27 8m 22s nat/c-lifting
nat/c-lifting
February 14, 2024 17:27 8m 22s
Kanillian C CI #949: Pull request #270 synchronize by NatKarmios
February 14, 2024 00:51 4m 52s nat/c-lifting
nat/c-lifting
February 14, 2024 00:51 4m 52s
Rename unify to matching, convert state types to records (#277) CI #948: Commit ada79ce pushed by giltho
February 12, 2024 14:59 14m 2s master
master
February 12, 2024 14:59 14m 2s
Rename unify to matching, convert state types to records CI #947: Pull request #277 opened by NatKarmios
February 12, 2024 10:58 45m 59s matching-rename
matching-rename
February 12, 2024 10:58 45m 59s
Merge pull request #276 from GillianPlatform/ocaml5 CI #946: Commit c16736f pushed by NatKarmios
February 7, 2024 16:14 45m 52s master
master
February 7, 2024 16:14 45m 52s
Upgrade to OCaml 5 CI #945: Pull request #276 synchronize by NatKarmios
February 2, 2024 19:44 46m 58s ocaml5
ocaml5
February 2, 2024 19:44 46m 58s
Upgrade to OCaml 5 CI #944: Pull request #276 synchronize by NatKarmios
February 1, 2024 20:21 1h 7m 51s ocaml5
ocaml5
February 1, 2024 20:21 1h 7m 51s
Upgrade to OCaml 5 CI #943: Pull request #276 opened by NatKarmios
February 1, 2024 20:06 1h 22m 40s ocaml5
ocaml5
February 1, 2024 20:06 1h 22m 40s
Kanillian C CI #942: Pull request #270 synchronize by NatKarmios
January 29, 2024 17:13 1h 14m 44s nat/c-lifting
nat/c-lifting
January 29, 2024 17:13 1h 14m 44s
Kanillian C CI #941: Pull request #270 synchronize by NatKarmios
January 25, 2024 15:28 27m 51s nat/c-lifting
nat/c-lifting
January 25, 2024 15:28 27m 51s
Kanillian C CI #940: Pull request #270 synchronize by NatKarmios
January 14, 2024 17:04 40m 10s nat/c-lifting
nat/c-lifting
January 14, 2024 17:04 40m 10s