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

rename some CN keywords CN-Coq #144: Pull request #854 synchronize by cp526
March 3, 2025 19:43 32m 42s cp526:renaming
cp526:renaming
March 3, 2025 19:43 32m 42s
CN: Support accesses in specifications (fix #371) CN-Coq #143: Pull request #892 synchronize by dc-mak
March 3, 2025 19:27 34m 6s dc-mak:cn-unify-function-specs
dc-mak:cn-unify-function-specs
March 3, 2025 19:27 34m 6s
rename some CN keywords CN-Coq #142: Pull request #854 synchronize by cp526
March 3, 2025 18:23 33m 32s cp526:renaming
cp526:renaming
March 3, 2025 18:23 33m 32s
rename some CN keywords CN-Coq #141: Pull request #854 synchronize by cp526
March 3, 2025 17:30 32m 48s cp526:renaming
cp526:renaming
March 3, 2025 17:30 32m 48s
CN: Support accesses in specifications (fix #371) CN-Coq #140: Pull request #892 synchronize by dc-mak
March 3, 2025 16:57 33m 2s dc-mak:cn-unify-function-specs
dc-mak:cn-unify-function-specs
March 3, 2025 16:57 33m 2s
Makefile: replace which with command -v (#895) CN-Coq #139: Commit 807fa42 pushed by kmemarian
March 3, 2025 16:56 33m 3s master
master
March 3, 2025 16:56 33m 3s
No owned void (#852) CN-Coq #138: Commit 0c594a4 pushed by cp526
March 3, 2025 15:30 32m 43s master
master
March 3, 2025 15:30 32m 43s
No owned void CN-Coq #137: Pull request #852 synchronize by cp526
March 3, 2025 14:55 33m 44s cp526:no-owned-void
cp526:no-owned-void
March 3, 2025 14:55 33m 44s
No owned void CN-Coq #136: Pull request #852 synchronize by cp526
March 3, 2025 14:48 7m 2s cp526:no-owned-void
cp526:no-owned-void
March 3, 2025 14:48 7m 2s
No owned void CN-Coq #135: Pull request #852 synchronize by cp526
March 3, 2025 14:47 1m 27s cp526:no-owned-void
cp526:no-owned-void
March 3, 2025 14:47 1m 27s
No owned void CN-Coq #134: Pull request #852 synchronize by cp526
March 3, 2025 14:43 4m 44s cp526:no-owned-void
cp526:no-owned-void
March 3, 2025 14:43 4m 44s
No owned void CN-Coq #133: Pull request #852 synchronize by cp526
March 3, 2025 14:32 11m 6s cp526:no-owned-void
cp526:no-owned-void
March 3, 2025 14:32 11m 6s
CN: Check countermodels CN-Coq #132: Pull request #829 synchronize by cassiatorczon
March 3, 2025 07:36 34m 1s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 3, 2025 07:36 34m 1s
Makefile: replace which with command -v (#895) CN-Coq #131: Pull request #896 opened by quinn-dougherty
March 1, 2025 17:34 32m 56s Beneficial-AI-Foundation:master
Beneficial-AI-Foundation:master
March 1, 2025 17:34 32m 56s
CN: Support accesses in specifications (fix #371) CN-Coq #130: Pull request #892 synchronize by dc-mak
February 28, 2025 09:52 33m 8s dc-mak:cn-unify-function-specs
dc-mak:cn-unify-function-specs
February 28, 2025 09:52 33m 8s
CN: Support accesses in specifications (fix #371) CN-Coq #129: Pull request #892 synchronize by dc-mak
February 28, 2025 00:00 32m 57s dc-mak:cn-unify-function-specs
dc-mak:cn-unify-function-specs
February 28, 2025 00:00 32m 57s
CN: Support accesses in specifications (fix #371) CN-Coq #128: Pull request #892 synchronize by dc-mak
February 27, 2025 23:43 17m 7s dc-mak:cn-unify-function-specs
dc-mak:cn-unify-function-specs
February 27, 2025 23:43 17m 7s
CN: Support accesses in specifications (fix #371) CN-Coq #127: Pull request #892 opened by dc-mak
February 27, 2025 17:05 32m 40s dc-mak:cn-unify-function-specs
dc-mak:cn-unify-function-specs
February 27, 2025 17:05 32m 40s
CN: Tidy up function specification parsing (#889) CN-Coq #126: Commit 20f55e1 pushed by dc-mak
February 27, 2025 10:38 32m 27s master
master
February 27, 2025 10:38 32m 27s
CN: Check countermodels CN-Coq #125: Pull request #829 synchronize by cassiatorczon
February 27, 2025 00:53 34m 40s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
February 27, 2025 00:53 34m 40s
CN: Check countermodels CN-Coq #124: Pull request #829 synchronize by cassiatorczon
February 27, 2025 00:45 8m 31s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
February 27, 2025 00:45 8m 31s
CN: Check countermodels CN-Coq #123: Pull request #829 synchronize by cassiatorczon
February 27, 2025 00:44 1m 10s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
February 27, 2025 00:44 1m 10s
CN: Check countermodels CN-Coq #122: Pull request #829 synchronize by cassiatorczon
February 27, 2025 00:26 18m 58s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
February 27, 2025 00:26 18m 58s
CN: Check countermodels CN-Coq #121: Pull request #829 synchronize by cassiatorczon
February 27, 2025 00:17 8m 57s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
February 27, 2025 00:17 8m 57s
CN: Check countermodels CN-Coq #120: Pull request #829 synchronize by cassiatorczon
February 26, 2025 21:58 34m 53s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
February 26, 2025 21:58 34m 53s