Standardize on using dune to build CodeHawk #165
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:d816b7578fc0869343437a49afcebf805e04a63fea7b7ee395e9f503ca20ddfc
|
|
|
artifacts-4.13.1
Expired
|
74.4 MB |
sha256:5b26e2862085e7458b0171122ca144244e8dc9cf925e8ccad1d1019d4b08528d
|
|
|
artifacts-4.14.1
Expired
|
75 MB |
sha256:f325ea575f4f832156f6037572dc8c5fecd0d69250bb89bbc9c5363038b597d0
|
|
|
artifacts-5.0.0
Expired
|
80.6 MB |
sha256:1f54ff5e18420500d6c477ff83b5e5874aea15c8ba5b8a668c3424030317561c
|
|
|
artifacts-5.1.1
Expired
|
81.6 MB |
sha256:892a9451bd45f3dcac49d41143999147cf7edcb264c8ad5becbac6fe12c12d19
|
|