Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
142 workflow runs
142 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
JSILSMemory is now monadic CI #1440: Pull request #390 opened by giltho
26m 38s jsil-monadic
jsil-monadic
26m 38s
Drive-by: kill shift-reduce conflicts CI #1439: Pull request #389 opened by giltho
26m 0s worktree-shift-reduce
worktree-shift-reduce
26m 0s
Adding Support for User Defined Datatypes and Logical Functions (#383) CI #1438: Commit b195dfc pushed by NatKarmios
25m 23s master
master
25m 23s
Adding Support for User Defined Datatypes and Logical Functions CI #1437: Pull request #383 synchronize by NatKarmios
1h 4m 53s shiva/user-def-datatypes
shiva/user-def-datatypes
1h 4m 53s
Adding Support for User Defined Datatypes and Logical Functions CI #1436: Pull request #383 synchronize by NatKarmios
25m 9s shiva/user-def-datatypes
shiva/user-def-datatypes
25m 9s
Make predicates just core predicates (#382) CI #1435: Commit 7887daf pushed by NatKarmios
22m 28s master
master
22m 28s
Preds are just Core preds with ✨flavour✨ CI #1434: Pull request #382 synchronize by NatKarmios
23m 43s predicates-as-core
predicates-as-core
23m 43s
Change the syntax of predicates to be pred(ins ; outs) (#380) CI #1433: Commit fb98b3d pushed by NatKarmios
24m 43s master
master
24m 43s
Change the syntax of predicates to be pred(ins ; outs) CI #1432: Pull request #380 synchronize by NatKarmios
25m 40s reorder-pred-args
reorder-pred-args
25m 40s
Change the syntax of predicates to be pred(ins ; outs) CI #1431: Pull request #380 synchronize by NatKarmios
24m 28s reorder-pred-args
reorder-pred-args
24m 28s
Change the syntax of predicates to be pred(ins ; outs) CI #1430: Pull request #380 synchronize by NatKarmios
25m 13s reorder-pred-args
reorder-pred-args
25m 13s
Remove uselesss fields in machine_model that broke macos (#381) CI #1429: Commit 158fba4 pushed by NatKarmios
20m 51s master
master
20m 51s
Remove uselesss fields in machine_model that broke macos CI #1428: Pull request #381 synchronize by NatKarmios
26m 11s gillian-c2-macos
gillian-c2-macos
26m 11s
No push pop (#379) CI #1427: Commit d1eb98b pushed by NatKarmios
26m 37s master
master
26m 37s
Preds are just Core preds with ✨flavour✨ CI #1426: Pull request #382 opened by giltho
27m 39s predicates-as-core
predicates-as-core
27m 39s
Change the syntax of predicates to be pred(ins ; outs) CI #1425: Pull request #380 synchronize by giltho
24m 27s reorder-pred-args
reorder-pred-args
24m 27s
CI CI #1424: Manually run by giltho
21m 21s reorder-pred-args
reorder-pred-args
21m 21s
Remove uselesss fields in machine_model that broke macos CI #1423: Pull request #381 opened by giltho
6m 12s gillian-c2-macos
gillian-c2-macos
6m 12s
No push pop CI #1422: Pull request #379 opened by giltho
24m 58s no-push-pop
no-push-pop
24m 58s
Bi-abduction transfomer (#357) CI #1421: Commit f516287 pushed by giltho
24m 21s master
master
24m 21s
Fix a bunch of old proofs for CI before big refactor (#378) CI #1420: Commit a17b6d2 pushed by giltho
21m 4s master
master
21m 4s
Bi-abduction transfomer CI #1419: Pull request #357 synchronize by giltho
39m 53s bi-abd-transformer
bi-abd-transformer
39m 53s
Fix a bunch of old proofs for CI before big refactor CI #1418: Pull request #378 opened by giltho
48m 24s fixup-old-tests
fixup-old-tests
48m 24s
Only activate division check based on a CLI flag (#377) CI #1417: Commit 9364deb pushed by NatKarmios
19m 22s master
master
19m 22s
Only activate division check based on a CLI flag CI #1416: Pull request #377 synchronize by giltho
39m 50s js-div-by-zero-flag
js-div-by-zero-flag
39m 50s