Skip to content

Actions: rems-project/cerberus

Actions

Cerberus

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN-Test-Gen] Bug replication code Cerberus #2037: Pull request #910 opened by ZippeyKeys12
March 5, 2025 18:57 2m 7s ZippeyKeys12:cn-test-gen-replication-code
ZippeyKeys12:cn-test-gen-replication-code
March 5, 2025 18:57 2m 7s
[CN-Test-Gen] Fix issue with printing errors (#908) Cerberus #2036: Commit 47aca59 pushed by ZippeyKeys12
March 5, 2025 17:16 3m 36s master
master
March 5, 2025 17:16 3m 36s
[CN-Test-Gen] Fix issue with printing errors Cerberus #2035: Pull request #908 synchronize by ZippeyKeys12
March 5, 2025 16:03 2m 30s ZippeyKeys12:cn-test-gen-fix-error-printing
ZippeyKeys12:cn-test-gen-fix-error-printing
March 5, 2025 16:03 2m 30s
[CN-Test-Gen] Fix issue with printing errors Cerberus #2034: Pull request #908 opened by ZippeyKeys12
March 5, 2025 16:01 1m 43s ZippeyKeys12:cn-test-gen-fix-error-printing
ZippeyKeys12:cn-test-gen-fix-error-printing
March 5, 2025 16:01 1m 43s
CN: Fix #860, escape ampersand in pp string HTML Cerberus #2033: Commit ee59264 pushed by dc-mak
March 5, 2025 13:57 1m 57s master
master
March 5, 2025 13:57 1m 57s
CN: Fix #860, escape ampersand in pp string HTML Cerberus #2032: Pull request #907 synchronize by dc-mak
March 5, 2025 12:41 2m 20s dc-mak:cn-html-escape-ampersand
dc-mak:cn-html-escape-ampersand
March 5, 2025 12:41 2m 20s
CN: Fix #860, escape ampersand in pp string HTML Cerberus #2031: Pull request #907 opened by dc-mak
March 5, 2025 12:40 1m 11s dc-mak:cn-html-escape-ampersand
dc-mak:cn-html-escape-ampersand
March 5, 2025 12:40 1m 11s
CN VIP: add unsupported C type conv err msg Cerberus #2030: Commit 0512fcc pushed by dc-mak
March 5, 2025 12:38 1m 52s master
master
March 5, 2025 12:38 1m 52s
CN VIP: add unsupported C type conv err msg Cerberus #2029: Pull request #905 synchronize by dc-mak
March 5, 2025 12:17 1m 54s dc-mak:cn-better-unsupported-ct-byte-conv-error
dc-mak:cn-better-unsupported-ct-byte-conv-error
March 5, 2025 12:17 1m 54s
CN: Deprecate use of Generic error constructor Cerberus #2028: Commit c12dc52 pushed by dc-mak
March 5, 2025 12:17 1m 52s master
master
March 5, 2025 12:17 1m 52s
CN: Deprecate use of Generic error constructor Cerberus #2027: Pull request #904 synchronize by dc-mak
March 5, 2025 11:21 2m 5s dc-mak:cn-deprecate-generic
dc-mak:cn-deprecate-generic
March 5, 2025 11:21 2m 5s
CN: Check countermodels (#829) Cerberus #2026: Commit 5277e69 pushed by cp526
March 5, 2025 08:12 2m 5s master
master
March 5, 2025 08:12 2m 5s
CN: Check countermodels Cerberus #2025: Pull request #829 synchronize by cassiatorczon
March 5, 2025 06:45 3m 17s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 06:45 3m 17s
CN: Check countermodels Cerberus #2024: Pull request #829 synchronize by cassiatorczon
March 5, 2025 06:04 3m 53s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 06:04 3m 53s
CN: Check countermodels Cerberus #2023: Pull request #829 synchronize by cassiatorczon
March 5, 2025 05:48 2m 59s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 05:48 2m 59s
CN: Check countermodels Cerberus #2022: Pull request #829 synchronize by cassiatorczon
March 5, 2025 05:42 3m 22s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 05:42 3m 22s
CN: Check countermodels Cerberus #2021: Pull request #829 synchronize by cassiatorczon
March 5, 2025 04:28 3m 20s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 04:28 3m 20s
CN: Do translation validation of resource inference steps in Rocq [work in progress] Cerberus #2020: Pull request #898 synchronize by vzaliva
March 5, 2025 02:10 2m 6s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 5, 2025 02:10 2m 6s
CN: Check countermodels Cerberus #2019: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:49 3m 8s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:49 3m 8s
CN: Check countermodels Cerberus #2018: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:35 3m 29s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:35 3m 29s
CN: Check countermodels Cerberus #2017: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:14 3m 25s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:14 3m 25s
CN: Do translation validation of resource inference steps in Rocq [work in progress] Cerberus #2016: Pull request #898 synchronize by vzaliva
March 4, 2025 18:51 2m 10s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:51 2m 10s
CN: Do translation validation of resource inference steps in Rocq [work in progress] Cerberus #2015: Pull request #898 synchronize by vzaliva
March 4, 2025 18:35 2m 30s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:35 2m 30s
CN VIP: add unsupported C type conv err msg Cerberus #2014: Pull request #905 opened by dc-mak
March 4, 2025 18:16 1m 49s dc-mak:cn-better-unsupported-ct-byte-conv-error
dc-mak:cn-better-unsupported-ct-byte-conv-error
March 4, 2025 18:16 1m 49s
CN: Deprecate use of Generic error constructor Cerberus #2013: Pull request #904 synchronize by dc-mak
March 4, 2025 18:11 1m 55s dc-mak:cn-deprecate-generic
dc-mak:cn-deprecate-generic
March 4, 2025 18:11 1m 55s