Skip to content

Actions: rems-project/cerberus

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,316 workflow runs
1,316 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN-Test-Gen] Generator DSL rewrite CI #1405: Pull request #617 synchronize by ZippeyKeys12
October 9, 2024 15:30 In progress ZippeyKeys12:cn-test-gen-dsl-rewrite
ZippeyKeys12:cn-test-gen-dsl-rewrite
October 9, 2024 15:30 In progress
[CN-Test-Gen] Generator DSL rewrite CI #1404: Pull request #617 synchronize by ZippeyKeys12
October 9, 2024 15:28 2m 2s ZippeyKeys12:cn-test-gen-dsl-rewrite
ZippeyKeys12:cn-test-gen-dsl-rewrite
October 9, 2024 15:28 2m 2s
[CN-Test-Gen] Generator DSL rewrite CI #1403: Pull request #617 synchronize by ZippeyKeys12
October 9, 2024 15:26 2m 50s ZippeyKeys12:cn-test-gen-dsl-rewrite
ZippeyKeys12:cn-test-gen-dsl-rewrite
October 9, 2024 15:26 2m 50s
CN: Tidy up cnprog.ml CI #1402: Commit a17d26c pushed by dc-mak
October 9, 2024 14:54 25m 10s master
master
October 9, 2024 14:54 25m 10s
CN: Tidy up cnprog.ml CI #1401: Pull request #618 opened by dc-mak
October 9, 2024 13:47 25m 24s dc-mak:cn-tidy-cnprog
dc-mak:cn-tidy-cnprog
October 9, 2024 13:47 25m 24s
[CN-Test-Gen] Generator DSL rewrite CI #1400: Pull request #617 opened by ZippeyKeys12
October 9, 2024 09:32 22m 2s ZippeyKeys12:cn-test-gen-dsl-rewrite
ZippeyKeys12:cn-test-gen-dsl-rewrite
October 9, 2024 09:32 22m 2s
display constraints and definitions not given to solver in error file CI #1399: Pull request #582 synchronize by cassiatorczon
October 8, 2024 18:51 25m 2s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 18:51 25m 2s
display constraints and definitions not given to solver in error file CI #1398: Pull request #582 synchronize by cassiatorczon
October 8, 2024 18:46 3m 15s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 18:46 3m 15s
Warn when a u64 is not used for index types. CI #1397: Pull request #616 opened by jprider63
October 8, 2024 18:39 3m 16s GaloisInc:feature/array_indices
GaloisInc:feature/array_indices
October 8, 2024 18:39 3m 16s
display constraints and definitions not given to solver in error file CI #1396: Pull request #582 synchronize by cassiatorczon
October 8, 2024 18:39 3m 25s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 18:39 3m 25s
display constraints and definitions not given to solver in error file CI #1395: Pull request #582 synchronize by cassiatorczon
October 8, 2024 18:33 3m 15s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 18:33 3m 15s
display constraints and definitions not given to solver in error file CI #1394: Pull request #582 synchronize by cassiatorczon
October 8, 2024 18:24 3m 14s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 18:24 3m 14s
display constraints and definitions not given to solver in error file CI #1393: Pull request #582 synchronize by cassiatorczon
October 8, 2024 18:17 3m 17s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 18:17 3m 17s
display constraints and definitions not given to solver in error file CI #1392: Pull request #582 synchronize by cassiatorczon
October 8, 2024 18:06 3m 46s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 18:06 3m 46s
display constraints and definitions not given to solver in error file CI #1391: Pull request #582 synchronize by cassiatorczon
October 8, 2024 17:59 3m 17s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 17:59 3m 17s
display constraints and definitions not given to solver in error file CI #1390: Pull request #582 synchronize by cassiatorczon
October 8, 2024 17:52 3m 8s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 17:52 3m 8s
display constraints and definitions not given to solver in error file CI #1389: Pull request #582 synchronize by cassiatorczon
October 8, 2024 17:43 3m 17s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 17:43 3m 17s
display constraints and definitions not given to solver in error file CI #1388: Pull request #582 synchronize by cassiatorczon
October 8, 2024 17:42 39s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 17:42 39s
display constraints and definitions not given to solver in error file CI #1387: Pull request #582 synchronize by cassiatorczon
October 8, 2024 17:01 3m 11s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 17:01 3m 11s
Fix formatting CI #1386: Commit 0cd00b1 pushed by cp526
October 8, 2024 07:16 25m 9s master
master
October 8, 2024 07:16 25m 9s
[CN-Exec] Add logging levels to runtime library CI #1385: Pull request #601 synchronize by ZippeyKeys12
October 8, 2024 02:22 24m 24s ZippeyKeys12:cn-exec-toggle-logging
ZippeyKeys12:cn-exec-toggle-logging
October 8, 2024 02:22 24m 24s
[CN-Exec] Ensure bool is converted to cn_bool CI #1384: Commit 9a9df64 pushed by ZippeyKeys12
October 8, 2024 02:20 24m 9s master
master
October 8, 2024 02:20 24m 9s
display constraints and definitions not given to solver in error file CI #1383: Pull request #582 synchronize by cassiatorczon
October 8, 2024 01:55 3m 16s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 01:55 3m 16s
display constraints and definitions not given to solver in error file CI #1382: Pull request #582 synchronize by cassiatorczon
October 8, 2024 01:49 3m 12s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 01:49 3m 12s
display constraints and definitions not given to solver in error file CI #1381: Pull request #582 synchronize by cassiatorczon
October 8, 2024 01:43 3m 32s cassiatorczon:spurious-countermodels
cassiatorczon:spurious-countermodels
October 8, 2024 01:43 3m 32s