CHC: add check on returnsites written #238
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 (5.0.0)
The strategy configuration was canceled because "c_orchestration._4_14_1" failed
|
|
Run CodeHawk-C tests (5.0.0)
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.
|
|
Run CodeHawk-C tests (4.12.1)
The strategy configuration was canceled because "c_orchestration._4_14_1" failed
|
|
Run CodeHawk-C tests (4.13.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 (4.13.1)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
Expired
|
73.3 MB |
sha256:65e546f48ae097a5ddd6692f18f55cc7b1a531a591d9f5d24130b30d6fcdeef0
|
|
|
artifacts-4.13.1
Expired
|
74.8 MB |
sha256:1fb03e92c0fbd61b3ac6b880254e9c4bef0c9f34e0d833533053300f3b4fed1f
|
|
|
artifacts-4.14.1
Expired
|
75.5 MB |
sha256:ee62ae1567e16cc1be5edd5c2543977a5f8eac8ed015c28fcb0ddc48dc2b31fd
|
|
|
artifacts-5.0.0
Expired
|
81.1 MB |
sha256:31d7d70d3dc335aec7ff1e7c2819366a3d86e111652fac6654ce2637753fe95c
|
|
|
artifacts-5.1.1
Expired
|
82.1 MB |
sha256:d594aecfac8ba0de0b2ba957fba1e6d5bb241901dff92d409ee415172f93c644
|
|