Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn.yml
456 workflow runs
456 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN-Test-Gen] Bug replication code CN Proof #459: Pull request #910 opened by ZippeyKeys12
March 5, 2025 18:57 17m 1s ZippeyKeys12:cn-test-gen-replication-code
ZippeyKeys12:cn-test-gen-replication-code
March 5, 2025 18:57 17m 1s
[CN-Test-Gen] Fix issue with printing errors (#908) CN Proof #458: Commit 47aca59 pushed by ZippeyKeys12
March 5, 2025 17:16 18m 44s master
master
March 5, 2025 17:16 18m 44s
[CN-Test-Gen] Fix issue with printing errors CN Proof #457: Pull request #908 synchronize by ZippeyKeys12
March 5, 2025 16:03 17m 51s ZippeyKeys12:cn-test-gen-fix-error-printing
ZippeyKeys12:cn-test-gen-fix-error-printing
March 5, 2025 16:03 17m 51s
[CN-Test-Gen] Fix issue with printing errors CN Proof #456: Pull request #908 opened by ZippeyKeys12
March 5, 2025 16:01 1m 42s ZippeyKeys12:cn-test-gen-fix-error-printing
ZippeyKeys12:cn-test-gen-fix-error-printing
March 5, 2025 16:01 1m 42s
CN: Fix #860, escape ampersand in pp string HTML CN Proof #455: Commit ee59264 pushed by dc-mak
March 5, 2025 13:57 17m 21s master
master
March 5, 2025 13:57 17m 21s
CN: Fix #860, escape ampersand in pp string HTML CN Proof #454: Pull request #907 synchronize by dc-mak
March 5, 2025 12:41 17m 37s dc-mak:cn-html-escape-ampersand
dc-mak:cn-html-escape-ampersand
March 5, 2025 12:41 17m 37s
CN: Fix #860, escape ampersand in pp string HTML CN Proof #453: Pull request #907 opened by dc-mak
March 5, 2025 12:40 1m 10s dc-mak:cn-html-escape-ampersand
dc-mak:cn-html-escape-ampersand
March 5, 2025 12:40 1m 10s
CN VIP: add unsupported C type conv err msg CN Proof #452: Commit 0512fcc pushed by dc-mak
March 5, 2025 12:38 18m 15s master
master
March 5, 2025 12:38 18m 15s
CN VIP: add unsupported C type conv err msg CN Proof #451: Pull request #905 synchronize by dc-mak
March 5, 2025 12:17 17m 13s dc-mak:cn-better-unsupported-ct-byte-conv-error
dc-mak:cn-better-unsupported-ct-byte-conv-error
March 5, 2025 12:17 17m 13s
CN: Deprecate use of Generic error constructor CN Proof #450: Commit c12dc52 pushed by dc-mak
March 5, 2025 12:17 16m 52s master
master
March 5, 2025 12:17 16m 52s
CN: Deprecate use of Generic error constructor CN Proof #449: Pull request #904 synchronize by dc-mak
March 5, 2025 11:21 17m 8s dc-mak:cn-deprecate-generic
dc-mak:cn-deprecate-generic
March 5, 2025 11:21 17m 8s
CN: Check countermodels (#829) CN Proof #448: Commit 5277e69 pushed by cp526
March 5, 2025 08:12 17m 31s master
master
March 5, 2025 08:12 17m 31s
CN: Check countermodels CN Proof #447: Pull request #829 synchronize by cassiatorczon
March 5, 2025 06:45 18m 20s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 06:45 18m 20s
CN: Check countermodels CN Proof #446: Pull request #829 synchronize by cassiatorczon
March 5, 2025 06:04 17m 53s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 06:04 17m 53s
CN: Check countermodels CN Proof #445: Pull request #829 synchronize by cassiatorczon
March 5, 2025 05:48 4m 19s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 05:48 4m 19s
CN: Check countermodels CN Proof #444: Pull request #829 synchronize by cassiatorczon
March 5, 2025 05:42 4m 19s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 05:42 4m 19s
CN: Check countermodels CN Proof #443: Pull request #829 synchronize by cassiatorczon
March 5, 2025 04:28 4m 6s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 04:28 4m 6s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN Proof #442: Pull request #898 synchronize by vzaliva
March 5, 2025 02:10 16m 56s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 5, 2025 02:10 16m 56s
CN: Check countermodels CN Proof #441: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:49 4m 1s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:49 4m 1s
CN: Check countermodels CN Proof #440: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:35 4m 7s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:35 4m 7s
CN: Check countermodels CN Proof #439: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:14 4m 41s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:14 4m 41s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN Proof #438: Pull request #898 synchronize by vzaliva
March 4, 2025 18:51 17m 50s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:51 17m 50s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN Proof #437: Pull request #898 synchronize by vzaliva
March 4, 2025 18:35 15m 51s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:35 15m 51s
CN VIP: add unsupported C type conv err msg CN Proof #436: Pull request #905 opened by dc-mak
March 4, 2025 18:16 16m 43s dc-mak:cn-better-unsupported-ct-byte-conv-error
dc-mak:cn-better-unsupported-ct-byte-conv-error
March 4, 2025 18:16 16m 43s
CN: Deprecate use of Generic error constructor CN Proof #435: Pull request #904 synchronize by dc-mak
March 4, 2025 18:11 16m 59s dc-mak:cn-deprecate-generic
dc-mak:cn-deprecate-generic
March 4, 2025 18:11 16m 59s