Skip to content

Actions: rems-project/cerberus

Actions

CN Spec Testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn-spec-testing.yml
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clarify SMT limitation CN Spec Testing #123: Commit 4424513 pushed by dc-mak
December 10, 2024 23:32 6m 9s master
master
December 10, 2024 23:32 6m 9s
Clarify SMT limitation CN Spec Testing #122: Pull request #754 opened by dc-mak
December 10, 2024 23:13 5m 30s dc-mak:clarify-smt-limitation
dc-mak:clarify-smt-limitation
December 10, 2024 23:13 5m 30s
Tidy up Definition module CN Spec Testing #121: Commit 0749b8e pushed by dc-mak
December 10, 2024 21:33 5m 15s master
master
December 10, 2024 21:33 5m 15s
CN: Tidy definitions CN Spec Testing #120: Pull request #753 synchronize by dc-mak
December 10, 2024 20:08 5m 28s dc-mak:tidy-definitions
dc-mak:tidy-definitions
December 10, 2024 20:08 5m 28s
Rename ResourceTypes to Request CN Spec Testing #119: Commit 109600d pushed by dc-mak
December 10, 2024 19:39 5m 38s master
master
December 10, 2024 19:39 5m 38s
CN: Tidy definitions CN Spec Testing #118: Pull request #753 opened by dc-mak
December 10, 2024 19:05 5m 14s dc-mak:tidy-definitions
dc-mak:tidy-definitions
December 10, 2024 19:05 5m 14s
CN: Tidy resource types CN Spec Testing #117: Pull request #750 synchronize by dc-mak
December 10, 2024 19:05 5m 54s dc-mak:tidy-resourceTypes
dc-mak:tidy-resourceTypes
December 10, 2024 19:05 5m 54s
CN: Tidy resource types CN Spec Testing #116: Pull request #750 synchronize by dc-mak
December 10, 2024 19:03 2m 10s dc-mak:tidy-resourceTypes
dc-mak:tidy-resourceTypes
December 10, 2024 19:03 2m 10s
CN: Tidy resource types CN Spec Testing #115: Pull request #750 synchronize by dc-mak
December 10, 2024 19:02 54s dc-mak:tidy-resourceTypes
dc-mak:tidy-resourceTypes
December 10, 2024 19:02 54s
[CN-Test-Gen] Allow controlling progress output (#751) CN Spec Testing #114: Commit cc1bd05 pushed by ZippeyKeys12
December 10, 2024 17:53 5m 53s master
master
December 10, 2024 17:53 5m 53s
[CN-Test-Gen] Allow controlling progress output (--progress-level) CN Spec Testing #113: Pull request #751 opened by ZippeyKeys12
December 10, 2024 17:35 7m 19s ZippeyKeys12:cn-test-gen-disable-dynamic-progress
ZippeyKeys12:cn-test-gen-disable-dynamic-progress
December 10, 2024 17:35 7m 19s
CN: Tidy resource types CN Spec Testing #112: Pull request #750 opened by dc-mak
December 10, 2024 15:32 6m 25s dc-mak:tidy-resourceTypes
dc-mak:tidy-resourceTypes
December 10, 2024 15:32 6m 25s
CN VIP: Use record for base and size in Alloc CN Spec Testing #111: Commit 1425590 pushed by dc-mak
December 10, 2024 15:30 5m 46s master
master
December 10, 2024 15:30 5m 46s
[CN-Test-Gen] Add input discard timeout (#747) CN Spec Testing #110: Commit d5c47f3 pushed by ZippeyKeys12
December 10, 2024 15:09 5m 59s master
master
December 10, 2024 15:09 5m 59s
[CN-Test-Gen] Add input discard timeout CN Spec Testing #109: Pull request #747 opened by ZippeyKeys12
December 10, 2024 14:49 5m 32s ZippeyKeys12:cn-test-gen-timeout
ZippeyKeys12:cn-test-gen-timeout
December 10, 2024 14:49 5m 32s
CN VIP: Tidy up loc info for Alloc CN Spec Testing #108: Pull request #746 synchronize by dc-mak
December 10, 2024 14:02 5m 3s dc-mak:tidy-alloc-loc
dc-mak:tidy-alloc-loc
December 10, 2024 14:02 5m 3s
CN VIP: Tidy up loc info for Alloc CN Spec Testing #107: Pull request #746 opened by dc-mak
December 10, 2024 13:36 5m 52s dc-mak:tidy-alloc-loc
dc-mak:tidy-alloc-loc
December 10, 2024 13:36 5m 52s
[CN-Test-Gen] Note if error comes from cn-exec (#734) CN Spec Testing #106: Commit 3618709 pushed by ZippeyKeys12
December 10, 2024 11:38 5m 50s master
master
December 10, 2024 11:38 5m 50s
CN VIP: Clarify tests CN Spec Testing #105: Commit 3a7897a pushed by dc-mak
December 9, 2024 23:21 4m 59s master
master
December 9, 2024 23:21 4m 59s
CN VIP: Clarify tests CN Spec Testing #104: Pull request #732 synchronize by dc-mak
December 9, 2024 14:48 5m 8s dc-mak:cn-vip-clarify-tests
dc-mak:cn-vip-clarify-tests
December 9, 2024 14:48 5m 8s
tentatively tweak z3 solver parameter, as suggested by Can C (#744) CN Spec Testing #103: Commit fe99f7d pushed by cp526
December 6, 2024 17:44 5m 23s master
master
December 6, 2024 17:44 5m 23s
tentatively tweak z3 solver parameter, as suggested by Can C CN Spec Testing #102: Pull request #744 opened by cp526
December 6, 2024 17:12 5m 35s cp526:z3-solver-parameter-tweak-1
cp526:z3-solver-parameter-tweak-1
December 6, 2024 17:12 5m 35s
fix formatting (#743) CN Spec Testing #101: Commit 6029b76 pushed by cp526
December 6, 2024 13:37 5m 37s master
master
December 6, 2024 13:37 5m 37s
fix formatting CN Spec Testing #100: Pull request #743 opened by cp526
December 6, 2024 13:37 5m 43s cp526:fix-cn-formatting
cp526:fix-cn-formatting
December 6, 2024 13:37 5m 43s
add command line flag to optionally disable learning constraints from… CN Spec Testing #99: Commit 36582a6 pushed by cp526
December 6, 2024 13:26 5m 42s master
master
December 6, 2024 13:26 5m 42s