Skip to content

CHC: add check on returnsites written #233

CHC: add check on returnsites written

CHC: add check on returnsites written #233

Triggered via push February 2, 2026 03:12
Status Failure
Total duration 4m 21s
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.1.1)
Process completed with exit code 1.
Run CodeHawk-C tests (5.0.0)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
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_1_1" failed
Run CodeHawk-C tests (4.14.1)
The operation was canceled.
Run CodeHawk-C tests (4.13.1)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
Run CodeHawk-C tests (4.13.1)
Process completed with exit code 1.
Run CodeHawk-C tests (4.12.1)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
Run CodeHawk-C tests (4.12.1)
The operation was canceled.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1
73.2 MB
sha256:debab910b6e6033a2f2e2bb7c623cc0cd0173674fd59573e9597a642abb23385
artifacts-4.13.1
74.7 MB
sha256:51638fe424213669332fd95a8f09552fcaf31b731f5dcc9ba73468c2540270f6
artifacts-4.14.1
75.4 MB
sha256:7eb39c1125d1a41bf1257309caedc7c5f6990f332e362fc92d5ade97e2099990
artifacts-5.0.0
81 MB
sha256:ba6358634763f07ec99b43573a504e5387af6e5e2ea829de6ab100f415d307fb
artifacts-5.1.1
82 MB
sha256:b734ceee66a8f839300fc016fc078972a247ebc269e63312d89ae7d83a673800