Skip to content

CHC: add some Stmt validity rules #229

CHC: add some Stmt validity rules

CHC: add some Stmt validity rules #229

Triggered via push December 8, 2025 19: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 (4.13.1)
Process completed with exit code 1.
Run CodeHawk-C tests (5.0.0)
The strategy configuration was canceled because "c_orchestration._4_13_1" failed
Run CodeHawk-C tests (5.0.0)
Process completed with exit code 1.
Run CodeHawk-C tests (4.12.1)
The strategy configuration was canceled because "c_orchestration._4_13_1" failed
Run CodeHawk-C tests (4.12.1)
Process completed with exit code 1.
Run CodeHawk-C tests (5.1.1)
The strategy configuration was canceled because "c_orchestration._4_13_1" failed
Run CodeHawk-C tests (5.1.1)
The operation was canceled.
Run CodeHawk-C tests (4.14.1)
The strategy configuration was canceled because "c_orchestration._4_13_1" failed
Run CodeHawk-C tests (4.14.1)
The operation was canceled.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1
73.2 MB
sha256:456fc462bc368223e2ede40c8ddbe814daa49e82517daf48f793e6167111274b
artifacts-4.13.1
74.7 MB
sha256:ff2fc029d5de14e2b782776d752acdb67620351979d47f8daaf9b566ff104241
artifacts-4.14.1
75.3 MB
sha256:ba02b36bc69ac5e575b056a7c099a2bd27e8d41744e7ee5e0926c111d2ba2b93
artifacts-5.0.0
81 MB
sha256:8ac8158830421beff1cad655509d5940d1b3ea1a0dab20c6fddc1e596e1b276a
artifacts-5.1.1
82 MB
sha256:6852f69557f7e6a3a7d3ff12649df4035b5b92864e7df8c221f098113660ca94