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 VIP: add unsupported C type conv err msg CN-Coq #169: Pull request #905 opened by dc-mak
March 4, 2025 18:16 33m 20s dc-mak:cn-better-unsupported-ct-byte-conv-error
dc-mak:cn-better-unsupported-ct-byte-conv-error
March 4, 2025 18:16 33m 20s
CN: Deprecate use of Generic error constructor CN-Coq #168: Pull request #904 synchronize by dc-mak
March 4, 2025 18:11 35m 6s dc-mak:cn-deprecate-generic
dc-mak:cn-deprecate-generic
March 4, 2025 18:11 35m 6s
CN: Add warning for double specification CN-Coq #167: Commit 8813898 pushed by dc-mak
March 4, 2025 17:09 33m 10s master
master
March 4, 2025 17:09 33m 10s
CN: Deprecate use of Generic error constructor CN-Coq #166: Pull request #904 opened by dc-mak
March 4, 2025 16:53 33m 15s dc-mak:cn-deprecate-generic
dc-mak:cn-deprecate-generic
March 4, 2025 16:53 33m 15s
CN: Support accesses in specifications (fix #371) CN-Coq #165: Pull request #892 synchronize by dc-mak
March 4, 2025 16:29 34m 41s dc-mak:cn-unify-function-specs
dc-mak:cn-unify-function-specs
March 4, 2025 16:29 34m 41s
CN: Support accesses in specifications (fix #371) CN-Coq #164: Pull request #892 synchronize by dc-mak
March 4, 2025 14:31 33m 16s dc-mak:cn-unify-function-specs
dc-mak:cn-unify-function-specs
March 4, 2025 14:31 33m 16s
CN: Check countermodels CN-Coq #163: Pull request #829 synchronize by cassiatorczon
March 4, 2025 09:24 34m 48s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 09:24 34m 48s
CN: Check countermodels CN-Coq #162: Pull request #829 synchronize by cassiatorczon
March 4, 2025 09:11 13m 0s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 09:11 13m 0s
CN: Check countermodels CN-Coq #161: Pull request #829 synchronize by cassiatorczon
March 4, 2025 08:32 34m 27s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 08:32 34m 27s
CN: Check countermodels CN-Coq #160: Pull request #829 synchronize by cassiatorczon
March 4, 2025 08:31 1m 5s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 08:31 1m 5s
CN: Check countermodels CN-Coq #159: Pull request #829 synchronize by cassiatorczon
March 4, 2025 08:21 10m 39s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 08:21 10m 39s
CN: Check countermodels CN-Coq #158: Pull request #829 synchronize by cassiatorczon
March 4, 2025 07:58 23m 26s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 07:58 23m 26s
CN: Check countermodels CN-Coq #157: Pull request #829 synchronize by cassiatorczon
March 4, 2025 07:18 34m 22s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 07:18 34m 22s
CN: Check countermodels CN-Coq #156: Pull request #829 synchronize by cassiatorczon
March 4, 2025 07:13 5m 38s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 07:13 5m 38s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN-Coq #155: Pull request #898 synchronize by vzaliva
March 4, 2025 01:23 35m 9s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 01:23 35m 9s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN-Coq #154: Pull request #898 synchronize by vzaliva
March 3, 2025 23:15 35m 43s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 3, 2025 23:15 35m 43s
rename some CN keywords (#854) CN-Coq #153: Commit 0832c78 pushed by cp526
March 3, 2025 23:05 33m 5s master
master
March 3, 2025 23:05 33m 5s
CN: Do translation validation of resource inference steps in Rocq [work in progress] CN-Coq #152: Pull request #898 opened by vzaliva
March 3, 2025 22:58 17m 45s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 3, 2025 22:58 17m 45s
rename some CN keywords CN-Coq #151: Pull request #854 synchronize by cp526
March 3, 2025 22:32 32m 54s cp526:renaming
cp526:renaming
March 3, 2025 22:32 32m 54s
rename some CN keywords CN-Coq #150: Pull request #854 synchronize by cp526
March 3, 2025 22:04 28m 16s cp526:renaming
cp526:renaming
March 3, 2025 22:04 28m 16s
rename some CN keywords CN-Coq #149: Pull request #854 synchronize by cp526
March 3, 2025 21:21 33m 2s cp526:renaming
cp526:renaming
March 3, 2025 21:21 33m 2s
rename some CN keywords CN-Coq #148: Pull request #854 synchronize by cp526
March 3, 2025 21:03 17m 48s cp526:renaming
cp526:renaming
March 3, 2025 21:03 17m 48s
rename some CN keywords CN-Coq #147: Pull request #854 synchronize by cp526
March 3, 2025 20:27 33m 21s cp526:renaming
cp526:renaming
March 3, 2025 20:27 33m 21s
rename some CN keywords CN-Coq #146: Pull request #854 synchronize by cp526
March 3, 2025 20:21 6m 49s cp526:renaming
cp526:renaming
March 3, 2025 20:21 6m 49s
rename some CN keywords CN-Coq #145: Pull request #854 synchronize by cp526
March 3, 2025 20:15 6m 13s cp526:renaming
cp526:renaming
March 3, 2025 20:15 6m 13s