Skip to content
dune CI

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

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 #195

Triggered via push August 13, 2025 04:46
@sipmasipma
pushed d8e20c7
master
Status Success
Total duration 5m 58s
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:97402d2efc126e66cbd9e9b459954f76425dffea8f24bdce0b74bdfd1405d77a
artifacts-4.13.1 Expired
74.5 MB
sha256:d61cb34c0261d8d2f5344b1a0ff5c9f5d6d91b354729e554432936fce2e7d5f9
artifacts-4.14.1 Expired
75.2 MB
sha256:e4cee5e2959eb7a44afb064e297f9c78631a8449e254d5c19397af1185809656
artifacts-5.0.0 Expired
80.8 MB
sha256:e5db24f71b46ef669cae87c98ca3abc3a27ae8b705223c2f81eb6f0c24d295fa
artifacts-5.1.1 Expired
81.8 MB
sha256:1c8cec221127364244ac1f7fe760b4ca2f64a94e13666bad894852c1f6a45c75