Skip to content

CHC: add some Stmt validity rules #225

CHC: add some Stmt validity rules

CHC: add some Stmt validity rules #225

Triggered via push December 8, 2025 19:12
Status Failure
Total duration 2m 56s
Artifacts 3

makefiles.yaml

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

Annotations

5 errors
Run CodeHawk-C tests (4.12.1)
Process completed with exit code 1.
Run CodeHawk-C tests (4.13.1)
The strategy configuration was canceled because "c_orchestration._4_12_1" failed
Run CodeHawk-C tests (4.13.1)
Process completed with exit code 1.
Run CodeHawk-C tests (4.14.1)
The strategy configuration was canceled because "c_orchestration._4_12_1" failed
Run CodeHawk-C tests (4.14.1)
The operation was canceled.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1
12.7 MB
sha256:6ed4a2b9c0158d4abbdacbd3d48d3a2898b673c9e10f338e5be40d81f23ca708
artifacts-4.13.1
13 MB
sha256:7b2dd4b4595c237b67c0a47b516eb1229c2a6e0a11911302493853754ce47d53
artifacts-4.14.1
13.1 MB
sha256:fb3dc96a83601b6acea0dd6158558f22e006f25386a38406ec13342cda7ecb0b