Skip to content
dune CI

CHB: handle void-typed target address #197

Sign in to view logs

CHB: handle void-typed target address

CHB: handle void-typed target address #197

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:c8136bf7c11674b815d97039a3e8039ebde4b25c572a347eed7da969079dabc9
artifacts-4.13.1 Expired
74.5 MB
sha256:88ddbb075066d97e89a2e20b8a69bc67a833957f5dad9a9282237ad5d8a4a5e3
artifacts-4.14.1 Expired
75.2 MB
sha256:1fa1c08e8cc12a23edf485157498ea50d1409b3949c1c380d9947d03749c0164
artifacts-5.0.0 Expired
80.8 MB
sha256:17ab51363ad09b9253d3c9625fa9e1d307ecb4d6211223a8bd22bdf197ce8888
artifacts-5.1.1 Expired
81.8 MB
sha256:c7abed1eb24e99e8bc6b38e410243adc0ff22f4a617d83be82257939e5651c8e