CHC: add check on returnsites written #235
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 (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_0_0" failed
|
|
Run CodeHawk-C tests (4.14.1)
The operation was canceled.
|
|
Run CodeHawk-C tests (5.1.1)
The strategy configuration was canceled because "c_orchestration._5_0_0" failed
|
|
Run CodeHawk-C tests (5.1.1)
The operation was canceled.
|
|
Run CodeHawk-C tests (4.13.1)
The strategy configuration was canceled because "c_orchestration._5_0_0" failed
|
|
Run CodeHawk-C tests (4.13.1)
The operation was canceled.
|
|
Run CodeHawk-C tests (4.12.1)
The strategy configuration was canceled because "c_orchestration._5_0_0" failed
|
|
Run CodeHawk-C tests (4.12.1)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
|
73.3 MB |
sha256:3aa84ea8ecdce0965f8ffd1c6520f5ec6e1f69b92732c14e6e44f04e2888847f
|
|
|
artifacts-4.13.1
|
74.8 MB |
sha256:231e58f3d63d2aec74843cc3a5f5228a0c07d27e21c1cf90e44e6a6868d63d7f
|
|
|
artifacts-4.14.1
|
75.5 MB |
sha256:9ee30b1ef0c090cf35c91b362ff0f6f5ee43f3403c4b912213c4ebe28d662d1a
|
|
|
artifacts-5.0.0
|
81.1 MB |
sha256:ca791d9663343b37a951512e4339143881067a9a6c72c04e05d6373b06d1196c
|
|
|
artifacts-5.1.1
|
82.1 MB |
sha256:dc33f0185d10ff0208da864db6b190df6e9fcf728ca6fbbefc1f2f7f9a57aca2
|
|