CHB:include stackslots for arguments and fix tests #230
dune.yaml
on: push
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
|
73.1 MB |
sha256:e3beb68e8dbe686c03c586841009d7081903d15e74e2a51c84b14931dd601b74
|
|
|
artifacts-4.13.1
Expired
|
74.6 MB |
sha256:7da5d4ef39e31ec2b702cd76eecc725bd8dfc8b0162eabba26f622684f9413ff
|
|
|
artifacts-4.14.1
Expired
|
75.3 MB |
sha256:5d9d99fcccd04d6f09c8177e8007d2c281e3a39c3ce98ba3c93d86e11b759751
|
|
|
artifacts-5.0.0
Expired
|
80.9 MB |
sha256:4224a3192f58d6752468c10ab5e92cda1ff2da769e939b03e88697359a6a29ba
|
|
|
artifacts-5.1.1
Expired
|
81.9 MB |
sha256:cd7ebb2b4059b4056c2fcda7ac58a53e285ba00b9cd66010438c66a25ce23175
|
|