CHC: add invariant prioritization to the PLocallyInitialized checker #219
sipmamakefiles.yaml
on: push
Matrix: Compile CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Annotations
5 errors and 1 warning
|
Run CodeHawk-C tests (4.14.1)
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)
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.
|
|
Compile CodeHawk (4.14.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-477a2186c0ca63149e7cf7c15c3fbe76fe387cfd6992e58be1e4f2fe5c2c03a5, another job may be creating this cache.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
|
12.7 MB |
sha256:537ab01732f170cb239c90162114b05c851cfecb5f80a19366a72f02c819bdc0
|
|
|
artifacts-4.13.1
|
12.9 MB |
sha256:380d17a67faa786e635f203d7e92ae8921f780d28dbd8d9cee1d7f326ada60bb
|
|
|
artifacts-4.14.1
|
13 MB |
sha256:d52d862e9f88781aea069c0828c0d621706557d53f5fcab94147428d765fe2d7
|
|