+
Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

year oops CI #1331: Commit b839a3b pushed by AndreasLoow
19m 49s master
master
19m 49s
new publications CI #1330: Commit a322f87 pushed by AndreasLoow
27m 44s master
master
27m 44s
Add wislf, parallel calls, remove some errors CI #1329: Pull request #359 synchronize by N1ark
45m 1s wisl-frac-w-matching
wisl-frac-w-matching
45m 1s
Add wislf, parallel calls, remove some errors CI #1328: Pull request #359 synchronize by N1ark
44m 7s wisl-frac-w-matching
wisl-frac-w-matching
44m 7s
Add wislf, parallel calls, remove some errors CI #1327: Pull request #359 synchronize by N1ark
43m 46s wisl-frac-w-matching
wisl-frac-w-matching
43m 46s
Add wislf, parallel calls, remove some errors CI #1326: Pull request #359 synchronize by N1ark
43m 59s wisl-frac-w-matching
wisl-frac-w-matching
43m 59s
Add wislf, parallel calls, remove some errors CI #1325: Pull request #359 synchronize by N1ark
53m 46s wisl-frac-w-matching
wisl-frac-w-matching
53m 46s
Bi-abduction transfomer CI #1324: Pull request #357 opened by giltho
40m 31s bi-abd-transformer
bi-abd-transformer
40m 31s
OCaml 5.3 (#356) CI #1323: Commit 5fe884a pushed by NatKarmios
27m 39s master
master
27m 39s
OCaml 5.3 CI #1322: Pull request #356 synchronize by NatKarmios
43m 5s ocaml-5.3
ocaml-5.3
43m 5s
Remove matching CI #1321: Pull request #354 synchronize by N1ark
4h 54m 15s remove-no-matching
remove-no-matching
4h 54m 15s
Remove matching CI #1320: Pull request #354 synchronize by N1ark
15m 37s remove-no-matching
remove-no-matching
15m 37s
OCaml 5.3 CI #1319: Pull request #356 synchronize by NatKarmios
41m 40s ocaml-5.3
ocaml-5.3
41m 40s
OCaml 5.3 CI #1318: Pull request #356 synchronize by NatKarmios
8m 19s ocaml-5.3
ocaml-5.3
8m 19s
OCaml 5.3 CI #1317: Pull request #356 synchronize by NatKarmios
13m 23s ocaml-5.3
ocaml-5.3
13m 23s
OCaml 5.3 CI #1316: Pull request #356 opened by NatKarmios
5m 54s ocaml-5.3
ocaml-5.3
5m 54s
Remove matching CI #1315: Pull request #354 synchronize by NatKarmios
8m 31s remove-no-matching
remove-no-matching
8m 31s
SSFT lab changes (#351) CI #1314: Commit 0675ef3 pushed by NatKarmios
22m 30s master
master
22m 30s
SSFT lab changes CI #1313: Pull request #351 synchronize by NatKarmios
47m 55s ssft
ssft
47m 55s
SSFT lab changes CI #1312: Pull request #351 synchronize by NatKarmios
7m 40s ssft
ssft
7m 40s
Add Nix flake (#355) CI #1311: Commit 8f12c5f pushed by NatKarmios
21m 6s master
master
21m 6s
Add Nix flake CI #1310: Pull request #355 opened by NatKarmios
48m 47s nix
nix
48m 47s
Remove matching CI #1309: Pull request #354 synchronize by N1ark
8m 48s remove-no-matching
remove-no-matching
8m 48s
Remove matching CI #1308: Pull request #354 synchronize by N1ark
8m 20s remove-no-matching
remove-no-matching
8m 20s
Remove matching CI #1307: Pull request #354 synchronize by N1ark
5h 12m 26s remove-no-matching
remove-no-matching
5h 12m 26s
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载