Skip to content

CHB: improved handling of sideeffect values #182

CHB: improved handling of sideeffect values

CHB: improved handling of sideeffect values #182

Triggered via push August 5, 2025 02:13
Status Failure
Total duration 8m 55s
Artifacts 5

dune.yaml

on: push
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Run CodeHawk-Binary tests (4.14.1)
Process completed with exit code 1.
Run CodeHawk-Binary tests (4.12.1)
The operation was canceled.
Run CodeHawk-Binary tests (4.12.1)
The strategy configuration was canceled because "b_orchestration._4_14_1" failed
Run CodeHawk-Binary tests (5.0.0)
The operation was canceled.
Run CodeHawk-Binary tests (5.0.0)
The strategy configuration was canceled because "b_orchestration._4_14_1" failed
Run CodeHawk-Binary tests (4.13.1)
The operation was canceled.
Run CodeHawk-Binary tests (4.13.1)
The strategy configuration was canceled because "b_orchestration._4_14_1" failed
Run CodeHawk-Binary tests (5.1.1)
The operation was canceled.
Run CodeHawk-Binary tests (5.1.1)
The strategy configuration was canceled because "b_orchestration._4_14_1" failed

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
73 MB
sha256:00fa4bab2dcaf4b9ffbc55dc3fa421fad148670680ed4b88a99a09ce2a9d3503
artifacts-4.13.1 Expired
74.5 MB
sha256:1f8cd8520c4cebcf596200aeb2ecc2d0cd7421d654a24571362808a17b7dff60
artifacts-4.14.1 Expired
75.1 MB
sha256:afb436452ea14aefb940361185d19f2d841d9b0233d32fc8aa454e8ab4e121cb
artifacts-5.0.0 Expired
80.8 MB
sha256:dd651e3fb1817394e3b4787fa124dbe800fa62e46e0334c0283dbdbbf956a85c
artifacts-5.1.1 Expired
81.7 MB
sha256:f94d8fa320e16dbdca2abbd720e90e743523c6d24d071c57031388af6d22b6a4