Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix z3 install and CN tests for Dockerfiles CN Proof #47: Pull request #712 synchronize by podhrmic
November 12, 2024 17:22 22m 38s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:22 22m 38s
Fix z3 install and CN tests for Dockerfiles CN Proof #46: Pull request #712 synchronize by podhrmic
November 12, 2024 17:20 1m 35s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:20 1m 35s
Fix z3 install and CN tests for Dockerfiles CN Proof #45: Pull request #712 synchronize by podhrmic
November 12, 2024 17:18 3m 0s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:18 3m 0s
Fix z3 install and CN tests for Dockerfiles CN Proof #44: Pull request #712 synchronize by podhrmic
November 12, 2024 17:16 2m 4s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:16 2m 4s
Fix z3 install and CN tests for Dockerfiles CN Proof #43: Pull request #712 synchronize by podhrmic
November 12, 2024 17:15 1m 42s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:15 1m 42s
Fix z3 install and CN tests for Dockerfiles CN Proof #42: Pull request #712 synchronize by podhrmic
November 12, 2024 17:12 3m 12s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:12 3m 12s
Fix z3 install and CN tests for Dockerfiles CN Proof #41: Pull request #712 synchronize by podhrmic
November 12, 2024 17:09 2m 29s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:09 2m 29s
Fix z3 install and CN tests for Dockerfiles CN Proof #40: Pull request #712 synchronize by podhrmic
November 12, 2024 16:54 15m 55s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 16:54 15m 55s
[CN-Test-Gen] Flag for disabling passes CN Proof #39: Commit dfe01d6 pushed by ZippeyKeys12
November 12, 2024 12:32 21m 7s master
master
November 12, 2024 12:32 21m 7s
[CN-Test-Gen] Coverage, --only and disabling passes CN Proof #38: Pull request #715 synchronize by ZippeyKeys12
November 12, 2024 12:03 21m 56s ZippeyKeys12:cn-test-gen-only
ZippeyKeys12:cn-test-gen-only
November 12, 2024 12:03 21m 56s
[CN-Test-Gen] Coverage, --only and disabling passes CN Proof #37: Pull request #715 synchronize by ZippeyKeys12
November 12, 2024 11:54 9m 10s ZippeyKeys12:cn-test-gen-only
ZippeyKeys12:cn-test-gen-only
November 12, 2024 11:54 9m 10s
[CN-Test-Gen] Coverage, --only and disabling passes CN Proof #36: Pull request #715 opened by ZippeyKeys12
November 12, 2024 11:03 21m 17s ZippeyKeys12:cn-test-gen-only
ZippeyKeys12:cn-test-gen-only
November 12, 2024 11:03 21m 17s
Improve and extend mechanism for extracting relevant information for executable checking CN Proof #35: Pull request #713 opened by cp526
November 11, 2024 20:01 21m 10s cp526:loop-invariant-information
cp526:loop-invariant-information
November 11, 2024 20:01 21m 10s
Fix z3 install and CN tests for Dockerfiles CN Proof #34: Pull request #712 synchronize by podhrmic
November 11, 2024 19:37 22m 29s podhrmic:redhat-fix
podhrmic:redhat-fix
November 11, 2024 19:37 22m 29s
Fix z3 install and CN tests for Dockerfiles CN Proof #33: Pull request #712 opened by podhrmic
November 11, 2024 15:36 20m 59s podhrmic:redhat-fix
podhrmic:redhat-fix
November 11, 2024 15:36 20m 59s
check in mergesort_alt, on the way to a more C-like version CN Proof #32: Commit baa187f pushed by cp526
November 11, 2024 11:04 21m 16s master
master
November 11, 2024 11:04 21m 16s
Tidy mergesort CN Proof #31: Pull request #711 opened by cp526
November 11, 2024 11:04 21m 14s cp526:tidy-mergesort
cp526:tidy-mergesort
November 11, 2024 11:04 21m 14s
Update documentation for using docker, run a CI test for the docker i… CN Proof #30: Commit 7a81691 pushed by dc-mak
November 11, 2024 09:32 20m 56s master
master
November 11, 2024 09:32 20m 56s
[CN-Test-Gen] Add more failing CI tests CN Proof #29: Commit cee11e0 pushed by ZippeyKeys12
November 11, 2024 04:19 21m 27s master
master
November 11, 2024 04:19 21m 27s
[CN-Test-Gen] Sized generators CN Proof #28: Pull request #710 synchronize by ZippeyKeys12
November 11, 2024 03:32 20m 20s ZippeyKeys12:cn-test-gen-sizing
ZippeyKeys12:cn-test-gen-sizing
November 11, 2024 03:32 20m 20s
[CN-Test-Gen] Sized generators CN Proof #27: Pull request #710 synchronize by ZippeyKeys12
November 11, 2024 02:46 3m 20s ZippeyKeys12:cn-test-gen-sizing
ZippeyKeys12:cn-test-gen-sizing
November 11, 2024 02:46 3m 20s
[CN-Test-Gen] Sized generators CN Proof #26: Pull request #710 opened by ZippeyKeys12
November 11, 2024 02:39 3m 5s ZippeyKeys12:cn-test-gen-sizing
ZippeyKeys12:cn-test-gen-sizing
November 11, 2024 02:39 3m 5s
Docker and documentation updates CN Proof #25: Pull request #709 opened by podhrmic
November 8, 2024 23:53 20m 16s podhrmic:doc-updates
podhrmic:doc-updates
November 8, 2024 23:53 20m 16s
[CN-exec] Add a readme for Fulminate (#693) CN Proof #24: Commit 326dd98 pushed by rbanerjee20
November 8, 2024 12:49 20m 39s master
master
November 8, 2024 12:49 20m 39s
[CN-Test-Gen] Nicer abort on no testable functions CN Proof #23: Commit ecad112 pushed by ZippeyKeys12
November 8, 2024 05:47 20m 33s master
master
November 8, 2024 05:47 20m 33s