Skip to content

Actions: rems-project/cerberus

Actions

CN-Coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn-coq.yml
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN-Test-Gen] Synthesize code for bug replication CN-Coq #194: Commit d87e0f1 pushed by ZippeyKeys12
March 5, 2025 23:01 32m 58s master
master
March 5, 2025 23:01 32m 58s
[CN-Test-Gen] Bug replication code CN-Coq #193: Pull request #910 synchronize by ZippeyKeys12
March 5, 2025 22:24 32m 58s ZippeyKeys12:cn-test-gen-replication-code
ZippeyKeys12:cn-test-gen-replication-code
March 5, 2025 22:24 32m 58s
[CN-Test-Gen] Bug replication code CN-Coq #192: Pull request #910 opened by ZippeyKeys12
March 5, 2025 18:57 33m 33s ZippeyKeys12:cn-test-gen-replication-code
ZippeyKeys12:cn-test-gen-replication-code
March 5, 2025 18:57 33m 33s
[CN-Test-Gen] Fix issue with printing errors (#908) CN-Coq #191: Commit 47aca59 pushed by ZippeyKeys12
March 5, 2025 17:16 34m 29s master
master
March 5, 2025 17:16 34m 29s
[CN-Test-Gen] Fix issue with printing errors CN-Coq #190: Pull request #908 synchronize by ZippeyKeys12
March 5, 2025 16:03 33m 12s ZippeyKeys12:cn-test-gen-fix-error-printing
ZippeyKeys12:cn-test-gen-fix-error-printing
March 5, 2025 16:03 33m 12s
[CN-Test-Gen] Fix issue with printing errors CN-Coq #189: Pull request #908 opened by ZippeyKeys12
March 5, 2025 16:01 1m 44s ZippeyKeys12:cn-test-gen-fix-error-printing
ZippeyKeys12:cn-test-gen-fix-error-printing
March 5, 2025 16:01 1m 44s
CN: Fix #860, escape ampersand in pp string HTML CN-Coq #188: Commit ee59264 pushed by dc-mak
March 5, 2025 13:57 33m 5s master
master
March 5, 2025 13:57 33m 5s
CN: Fix #860, escape ampersand in pp string HTML CN-Coq #187: Pull request #907 synchronize by dc-mak
March 5, 2025 12:41 33m 49s dc-mak:cn-html-escape-ampersand
dc-mak:cn-html-escape-ampersand
March 5, 2025 12:41 33m 49s
CN: Fix #860, escape ampersand in pp string HTML CN-Coq #186: 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-Coq #185: Commit 0512fcc pushed by dc-mak
March 5, 2025 12:38 33m 8s master
master
March 5, 2025 12:38 33m 8s
CN VIP: add unsupported C type conv err msg CN-Coq #184: Pull request #905 synchronize by dc-mak
March 5, 2025 12:17 32m 56s dc-mak:cn-better-unsupported-ct-byte-conv-error
dc-mak:cn-better-unsupported-ct-byte-conv-error
March 5, 2025 12:17 32m 56s
CN: Deprecate use of Generic error constructor CN-Coq #183: Commit c12dc52 pushed by dc-mak
March 5, 2025 12:17 21m 35s master
master
March 5, 2025 12:17 21m 35s
CN: Deprecate use of Generic error constructor CN-Coq #182: Pull request #904 synchronize by dc-mak
March 5, 2025 11:21 33m 0s dc-mak:cn-deprecate-generic
dc-mak:cn-deprecate-generic
March 5, 2025 11:21 33m 0s
CN: Check countermodels (#829) CN-Coq #181: Commit 5277e69 pushed by cp526
March 5, 2025 08:12 33m 20s master
master
March 5, 2025 08:12 33m 20s
CN: Check countermodels CN-Coq #180: Pull request #829 synchronize by cassiatorczon
March 5, 2025 06:45 34m 37s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 06:45 34m 37s
CN: Check countermodels CN-Coq #179: Pull request #829 synchronize by cassiatorczon
March 5, 2025 06:04 34m 46s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 06:04 34m 46s
CN: Check countermodels CN-Coq #178: Pull request #829 synchronize by cassiatorczon
March 5, 2025 05:48 15m 42s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 05:48 15m 42s
CN: Check countermodels CN-Coq #177: Pull request #829 synchronize by cassiatorczon
March 5, 2025 05:42 6m 13s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 05:42 6m 13s
CN: Check countermodels CN-Coq #176: Pull request #829 synchronize by cassiatorczon
March 5, 2025 04:28 34m 8s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 5, 2025 04:28 34m 8s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN-Coq #175: Pull request #898 synchronize by vzaliva
March 5, 2025 02:10 34m 52s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 5, 2025 02:10 34m 52s
CN: Check countermodels CN-Coq #174: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:49 34m 35s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:49 34m 35s
CN: Check countermodels CN-Coq #173: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:35 14m 55s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:35 14m 55s
CN: Check countermodels CN-Coq #172: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:14 21m 21s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:14 21m 21s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN-Coq #171: Pull request #898 synchronize by vzaliva
March 4, 2025 18:51 35m 25s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:51 35m 25s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN-Coq #170: Pull request #898 synchronize by vzaliva
March 4, 2025 18:35 15m 50s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:35 15m 50s