Skip to content

CHC:add representation for output parameter rejection reasons #230

CHC:add representation for output parameter rejection reasons

CHC:add representation for output parameter rejection reasons #230

Triggered via push January 22, 2026 02:45
Status Failure
Total duration 3m 59s
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.14.1)
Process completed with exit code 1.
Run CodeHawk-C tests (4.13.1)
The strategy configuration was canceled because "c_orchestration._4_14_1" failed
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_14_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_14_1" failed
Run CodeHawk-C tests (4.12.1)
The operation was canceled.
Run CodeHawk-C tests (5.1.1)
The strategy configuration was canceled because "c_orchestration._4_14_1" failed
Run CodeHawk-C tests (5.1.1)
The operation was canceled.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1
73.2 MB
sha256:2a2e48b9481d6648cea1c4222e126cbc2a0ffffc4433e0186bb0855291794ba1
artifacts-4.13.1
74.7 MB
sha256:9c902d2898b325726cd3e5f80914a41d456b0f13b861bd393b45fcba787f839b
artifacts-4.14.1
75.4 MB
sha256:f0e950869da5199a07c09977b1f94bf6abd0aefbaa4e9e8a50b3ccef3d37b3b7
artifacts-5.0.0
81 MB
sha256:f82e2322f15c266916223fd538c1fe94bc512d613e43eabcd6f5019b490a0939
artifacts-5.1.1
82 MB
sha256:a5bc53d04103289a09d79dbdd0b8ae99719b537eb96cef90714fbd8bc3cb1bf1