Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN: Parallelise and caputure output in CN CI CN Proof #56: Pull request #703 synchronize by dc-mak
November 13, 2024 14:08 18m 59s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 13, 2024 14:08 18m 59s
CN: Parallelise and caputure output in CN CI CN Proof #55: Pull request #703 synchronize by dc-mak
November 13, 2024 14:02 3m 2s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 13, 2024 14:02 3m 2s
Adjust caching in workflows CN Proof #54: Commit 144eca1 pushed by dc-mak
November 13, 2024 13:00 21m 28s master
master
November 13, 2024 13:00 21m 28s
Fix z3 install and CN tests for Dockerfiles CN Proof #53: Pull request #712 synchronize by dc-mak
November 13, 2024 12:50 21m 6s podhrmic:redhat-fix
podhrmic:redhat-fix
November 13, 2024 12:50 21m 6s
Improve and extend mechanism for extracting relevant information for … CN Proof #52: Commit a6430b4 pushed by cp526
November 12, 2024 22:06 21m 41s master
master
November 12, 2024 22:06 21m 41s
Improve and extend mechanism for extracting relevant information for executable checking CN Proof #51: Pull request #713 synchronize by cp526
November 12, 2024 21:39 21m 47s cp526:loop-invariant-information
cp526:loop-invariant-information
November 12, 2024 21:39 21m 47s
Improve and extend mechanism for extracting relevant information for executable checking CN Proof #50: Pull request #713 synchronize by cp526
November 12, 2024 21:13 22m 13s cp526:loop-invariant-information
cp526:loop-invariant-information
November 12, 2024 21:13 22m 13s
Improve and extend mechanism for extracting relevant information for executable checking CN Proof #49: Pull request #713 synchronize by cp526
November 12, 2024 21:05 3m 2s cp526:loop-invariant-information
cp526:loop-invariant-information
November 12, 2024 21:05 3m 2s
Fix z3 install and CN tests for Dockerfiles CN Proof #48: Pull request #712 synchronize by dc-mak
November 12, 2024 18:39 21m 56s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 18:39 21m 56s
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