Skip to content
dune CI

CHC: Add command-line argument handling to a number of checkers #159

Sign in to view logs

CHC: Add command-line argument handling to a number of checkers

CHC: Add command-line argument handling to a number of checkers #159

Triggered via push May 2, 2025 07:11
@sipmasipma
pushed b7151cf
master
Status Failure
Total duration 4m 10s
Artifacts 3

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

Annotations

3 errors
Compile and test CodeHawk (4.12.1)
Process completed with exit code 40.
Compile and test CodeHawk (5.1.1)
The operation was canceled.
Compile and test CodeHawk (5.1.1)
The strategy configuration was canceled because "build._4_12_1" failed

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.13.1 Expired
74.4 MB
sha256:5f690034ddc9dad37a168ae23877f7dba54315575197f9b920c6275a8ac1d160
artifacts-4.14.1 Expired
75 MB
sha256:77cbdce31d20e86d4fb81f981c255c740ca2e5a5de37a7bb072b5e51b8cf0734
artifacts-5.0.0 Expired
80.6 MB
sha256:5287b5c61a15b1df86920d0a2478dc9b7e79ab5be9711871ee641f6d5a9d2611