Skip to content
dune CI

CHB: handle void-typed target address #202

Sign in to view logs

CHB: handle void-typed target address

CHB: handle void-typed target address #202

Triggered via push August 20, 2025 23:12
@sipmasipma
pushed b3ba1f6
master
Status Success
Total duration 5m 14s
Artifacts 5

dune.yaml

on: push
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
73 MB
sha256:6f181fd4671e64249c21cb01295ec3e3d24f91a10901f2989faa2c0c2e684953
artifacts-4.13.1 Expired
74.5 MB
sha256:5e3ad971fba13f2f57fb595d8cd9e8d2f69b421b169200bc0a2ef07603aaf2d1
artifacts-4.14.1 Expired
75.2 MB
sha256:ca87ef187333408372c2021061b6fc216238a5cfc67374d85785597e7ba93545
artifacts-5.0.0 Expired
80.8 MB
sha256:ba06ad7904d7a62c54622399f60bce8b877c15cbe871f119b5b58851d0fce68f
artifacts-5.1.1 Expired
81.8 MB
sha256:c10eb21ac02527d80e1fb9d37a3068bdb4dbb1b584b6984e53875f854c4bd3d1