CHC: add check on returnsites written #233
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.1.1)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (5.0.0)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
|
|
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_1_1" failed
|
|
Run CodeHawk-C tests (4.14.1)
The operation was canceled.
|
|
Run CodeHawk-C tests (4.13.1)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
|
|
Run CodeHawk-C tests (4.13.1)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (4.12.1)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
|
|
Run CodeHawk-C tests (4.12.1)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
|
73.2 MB |
sha256:debab910b6e6033a2f2e2bb7c623cc0cd0173674fd59573e9597a642abb23385
|
|
|
artifacts-4.13.1
|
74.7 MB |
sha256:51638fe424213669332fd95a8f09552fcaf31b731f5dcc9ba73468c2540270f6
|
|
|
artifacts-4.14.1
|
75.4 MB |
sha256:7eb39c1125d1a41bf1257309caedc7c5f6990f332e362fc92d5ade97e2099990
|
|
|
artifacts-5.0.0
|
81 MB |
sha256:ba6358634763f07ec99b43573a504e5387af6e5e2ea829de6ab100f415d307fb
|
|
|
artifacts-5.1.1
|
82 MB |
sha256:b734ceee66a8f839300fc016fc078972a247ebc269e63312d89ae7d83a673800
|
|