Standardize on using dune to build CodeHawk #166
dune.yaml
on: pull_request
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
Expired
|
72.8 MB |
sha256:1418f6f0b42a488c9739f812f222d2ca03ae5184a330c65bea33bb61c9febc65
|
|
|
artifacts-4.13.1
Expired
|
74.4 MB |
sha256:afd40483b1c7b59cc97918dd5d5f393c835d18ea5cafceb5f67e9a9bd72f0f26
|
|
|
artifacts-4.14.1
Expired
|
75 MB |
sha256:dd3cc3c5650a9ad0be3c9ef34b7ae6d4771f2a3998caf25663ea347629586daa
|
|
|
artifacts-5.0.0
Expired
|
80.6 MB |
sha256:345f6e5192a460e51c77c4ccd93d79160f16c1534c837c3db1a441e117cb9291
|
|
|
artifacts-5.1.1
Expired
|
81.6 MB |
sha256:c4e9fbc06644841e82fd27cbda6ba0070b7bef11fe2d7d3153105ca25b2f1640
|
|