CHC:add representation for output parameter rejection reasons #230
dune.yaml
on: push
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
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
|
|