Skip to content

CHC: add check on returnsites written #235

CHC: add check on returnsites written

CHC: add check on returnsites written #235

Triggered via push February 3, 2026 00:45
Status Failure
Total duration 5m 2s
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-C tests (5.0.0)
Process completed with exit code 1.
Run CodeHawk-C tests (4.14.1)
The strategy configuration was canceled because "c_orchestration._5_0_0" failed
Run CodeHawk-C tests (4.14.1)
The operation was canceled.
Run CodeHawk-C tests (5.1.1)
The strategy configuration was canceled because "c_orchestration._5_0_0" failed
Run CodeHawk-C tests (5.1.1)
The operation was canceled.
Run CodeHawk-C tests (4.13.1)
The strategy configuration was canceled because "c_orchestration._5_0_0" failed
Run CodeHawk-C tests (4.13.1)
The operation was canceled.
Run CodeHawk-C tests (4.12.1)
The strategy configuration was canceled because "c_orchestration._5_0_0" failed
Run CodeHawk-C tests (4.12.1)
The operation was canceled.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1
73.3 MB
sha256:3aa84ea8ecdce0965f8ffd1c6520f5ec6e1f69b92732c14e6e44f04e2888847f
artifacts-4.13.1
74.8 MB
sha256:231e58f3d63d2aec74843cc3a5f5228a0c07d27e21c1cf90e44e6a6868d63d7f
artifacts-4.14.1
75.5 MB
sha256:9ee30b1ef0c090cf35c91b362ff0f6f5ee43f3403c4b912213c4ebe28d662d1a
artifacts-5.0.0
81.1 MB
sha256:ca791d9663343b37a951512e4339143881067a9a6c72c04e05d6373b06d1196c
artifacts-5.1.1
82.1 MB
sha256:dc33f0185d10ff0208da864db6b190df6e9fcf728ca6fbbefc1f2f7f9a57aca2