Skip to content
dune CI

CMD: add cmdline option to fail on function analysis failure #191

Sign in to view logs

CMD: add cmdline option to fail on function analysis failure

CMD: add cmdline option to fail on function analysis failure #191

Triggered via push August 13, 2025 04:44
@sipmasipma
pushed d8e20c7
master
Status Success
Total duration 5m 51s
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:2a2626f3c1fd3e4a268f3e116cd87026a0e4ea4bbf02030ed65d570e131e7626
artifacts-4.13.1 Expired
74.5 MB
sha256:b78c2572e45730e0eb98adb15ab43068c931ee9f5ce727f0021fcccc7afda1aa
artifacts-4.14.1 Expired
75.2 MB
sha256:138802453d3f0d4d2671966bd5894201ed8e4fc5484230ee6b67917271f5c29f
artifacts-5.0.0 Expired
80.8 MB
sha256:a52b6e16c605ebd9336820fdfb71c776e8c4f52f8891c7303bad2cd028286f12
artifacts-5.1.1 Expired
81.8 MB
sha256:ab10559caed4d3495e01a39824e0561e500267b990cc974575dfff5e6ef8b4f5