Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[CN-Test-Gen] UX tweaks CN Proof #22: Pull request #707 opened by ZippeyKeys12
November 7, 2024 19:45 20m 22s ZippeyKeys12:cn-test-gen-ux-tweaks
ZippeyKeys12:cn-test-gen-ux-tweaks
November 7, 2024 19:45 20m 22s
Build a truly multi platform docker image (#660) CN Proof #21: Commit e4de4e4 pushed by dc-mak
November 7, 2024 16:37 20m 33s master
master
November 7, 2024 16:37 20m 33s
Build a truly multi platform docker image CN Proof #20: Pull request #660 synchronize by podhrmic
November 7, 2024 16:19 20m 2s podhrmic:659-docker-image-manifest
podhrmic:659-docker-image-manifest
November 7, 2024 16:19 20m 2s
Build a truly multi platform docker image CN Proof #19: Pull request #660 synchronize by podhrmic
November 7, 2024 01:06 20m 10s podhrmic:659-docker-image-manifest
podhrmic:659-docker-image-manifest
November 7, 2024 01:06 20m 10s
Build a truly multi platform docker image CN Proof #18: Pull request #660 synchronize by podhrmic
November 7, 2024 00:41 21m 21s podhrmic:659-docker-image-manifest
podhrmic:659-docker-image-manifest
November 7, 2024 00:41 21m 21s
Build a truly multi platform docker image CN Proof #17: Pull request #660 synchronize by podhrmic
November 6, 2024 22:54 20m 35s podhrmic:659-docker-image-manifest
podhrmic:659-docker-image-manifest
November 6, 2024 22:54 20m 35s
CN VIP: Add support for memcpy & proxy CN Proof #16: Commit bddba22 pushed by dc-mak
November 6, 2024 20:10 22m 21s master
master
November 6, 2024 20:10 22m 21s
CN: Parallelise and caputure output in CN CI CN Proof #15: Pull request #703 synchronize by dc-mak
November 6, 2024 19:57 18m 38s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 6, 2024 19:57 18m 38s
CN VIP: Add support for memcpy & proxy CN Proof #14: Pull request #694 synchronize by dc-mak
November 6, 2024 19:49 20m 33s dc-mak:cn-vip-memcpy
dc-mak:cn-vip-memcpy
November 6, 2024 19:49 20m 33s
CN VIP: Add support for memcpy & proxy CN Proof #13: Pull request #694 synchronize by dc-mak
November 6, 2024 19:49 15s dc-mak:cn-vip-memcpy
dc-mak:cn-vip-memcpy
November 6, 2024 19:49 15s
Build a truly multi platform docker image CN Proof #12: Pull request #660 synchronize by podhrmic
November 6, 2024 19:43 21m 58s podhrmic:659-docker-image-manifest
podhrmic:659-docker-image-manifest
November 6, 2024 19:43 21m 58s
Build a truly multi platform docker image CN Proof #11: Pull request #660 synchronize by podhrmic
November 6, 2024 19:41 2m 22s podhrmic:659-docker-image-manifest
podhrmic:659-docker-image-manifest
November 6, 2024 19:41 2m 22s
Adjust caching in workflows CN Proof #10: Pull request #704 synchronize by dc-mak
November 6, 2024 19:13 20m 56s dc-mak:adjust-ci-caching
dc-mak:adjust-ci-caching
November 6, 2024 19:13 20m 56s
ProTip! You can narrow down the results and go further in time using created:<2024-11-06 or the other filters available.