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

Different auto-unfold level CI #1037: Pull request #298 synchronize by giltho
July 4, 2024 22:42 40s auto-level
auto-level
July 4, 2024 22:42 40s
Different auto-unfold level CI #1036: Pull request #298 opened by giltho
July 4, 2024 22:41 1m 28s auto-level
auto-level
July 4, 2024 22:41 1m 28s
simplify impossible case while extracting in Gillian-C (#297) CI #1035: Commit 79445cd pushed by giltho
July 4, 2024 22:40 22m 41s master
master
July 4, 2024 22:40 22m 41s
simplify impossible case while extracting in Gillian-C CI #1034: Pull request #297 synchronize by giltho
July 4, 2024 22:27 16m 27s simplify-impossible-case
simplify-impossible-case
July 4, 2024 22:27 16m 27s
simplify impossible case while extracting in Gillian-C CI #1033: Pull request #297 synchronize by giltho
July 3, 2024 18:08 45m 31s simplify-impossible-case
simplify-impossible-case
July 3, 2024 18:08 45m 31s
simplify impossible case while extracting in Gillian-C CI #1032: Pull request #297 opened by giltho
July 3, 2024 16:42 42m 19s simplify-impossible-case
simplify-impossible-case
July 3, 2024 16:42 42m 19s
Add Delayed.branches (#296) CI #1031: Commit 5fb9271 pushed by giltho
July 3, 2024 16:04 23m 31s master
master
July 3, 2024 16:04 23m 31s
Add Delayed.branches CI #1030: Pull request #296 opened by N1ark
July 3, 2024 13:40 42m 56s N1ark:delayedbranches
N1ark:delayedbranches
July 3, 2024 13:40 42m 56s
forall exprs (#295) CI #1029: Commit 4b95325 pushed by giltho
July 1, 2024 20:16 23m 6s master
master
July 1, 2024 20:16 23m 6s
forall exprs CI #1028: Pull request #295 opened by giltho
July 1, 2024 20:02 42m 50s forall-exprs
forall-exprs
July 1, 2024 20:02 42m 50s
Add existential quantifiers to expressions (#294) CI #1027: Commit 3b2d0c7 pushed by giltho
July 1, 2024 14:49 23m 4s master
master
July 1, 2024 14:49 23m 4s
Add existential quantifiers to expressions CI #1026: Pull request #294 opened by giltho
July 1, 2024 11:10 43m 52s exists
exists
July 1, 2024 11:10 43m 52s
Switch to opam (#293) CI #1025: Commit 96a8715 pushed by NatKarmios
June 30, 2024 14:56 29m 59s master
master
June 30, 2024 14:56 29m 59s
Switch to opam CI #1024: Pull request #293 synchronize by NatKarmios
June 29, 2024 13:49 42m 54s opam
opam
June 29, 2024 13:49 42m 54s
Switch to opam CI #1023: Pull request #293 synchronize by NatKarmios
June 29, 2024 12:12 42m 14s opam
opam
June 29, 2024 12:12 42m 14s
Switch to opam CI #1022: Pull request #293 synchronize by NatKarmios
June 29, 2024 01:55 43m 0s opam
opam
June 29, 2024 01:55 43m 0s
Switch to opam CI #1021: Pull request #293 synchronize by NatKarmios
June 28, 2024 21:21 43m 21s opam
opam
June 28, 2024 21:21 43m 21s
Switch to opam CI #1020: Pull request #293 synchronize by NatKarmios
June 28, 2024 13:04 22m 59s opam
opam
June 28, 2024 13:04 22m 59s
Switch to opam CI #1019: Pull request #293 synchronize by NatKarmios
June 28, 2024 02:44 22m 36s opam
opam
June 28, 2024 02:44 22m 36s
Switch to opam CI #1018: Pull request #293 synchronize by NatKarmios
June 28, 2024 02:28 22m 3s opam
opam
June 28, 2024 02:28 22m 3s
Switch to opam CI #1017: Pull request #293 synchronize by NatKarmios
June 28, 2024 01:53 22m 23s opam
opam
June 28, 2024 01:53 22m 23s
Switch to opam CI #1016: Pull request #293 synchronize by NatKarmios
June 27, 2024 14:34 22m 53s opam
opam
June 27, 2024 14:34 22m 53s
Switch to opam CI #1015: Pull request #293 synchronize by NatKarmios
June 27, 2024 11:22 2h 22m 37s opam
opam
June 27, 2024 11:22 2h 22m 37s
Switch to opam CI #1014: Pull request #293 synchronize by NatKarmios
June 26, 2024 21:51 21m 57s opam
opam
June 26, 2024 21:51 21m 57s
Switch to opam CI #1013: Pull request #293 synchronize by NatKarmios
June 26, 2024 15:09 22m 37s opam
opam
June 26, 2024 15:09 22m 37s