CHC: add check on returnsites written #238
makefiles.yaml
on: push
Matrix: Compile CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Annotations
5 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)
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.12.1)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
Expired
|
12.8 MB |
sha256:3953caea5f8f5a19f1fe4c932c117d57c47d9e7f341abfab328ac83d62fcf3b6
|
|
|
artifacts-4.13.1
Expired
|
13 MB |
sha256:3e4c3955d83a5f2e8b5545e73fa4893caafa4d1730bd99dac37a1295c316032e
|
|
|
artifacts-4.14.1
Expired
|
13.1 MB |
sha256:61034549f2cf369575a6624d79e7c3b3bc3ffd367879edef7112caf9f8fea1ee
|
|