Skip to content
dune CI

CHC: A number of fixes for command line arguments handling #158

Sign in to view logs

CHC: A number of fixes for command line arguments handling

CHC: A number of fixes for command line arguments handling #158

Triggered via pull request May 1, 2025 04:25
@waskyowaskyo
opened #192
waskyo:argv_fixes
Status Success
Total duration 5m 12s
Artifacts 5

dune.yaml

on: pull_request
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
72.8 MB
sha256:5409d6a5dce9cf36875bd7d07fe78f88149468ddf150884da1ed414207f3ac9a
artifacts-4.13.1 Expired
74.4 MB
sha256:cf3960b208d9a30d2787dc3e4c6798dc0476c0a5e4a83cc666f4baac5c0fb1ed
artifacts-4.14.1 Expired
75 MB
sha256:89c5db3e33da8040f6ce8e21d3a1f78c7790b39e610181267811ef8c3d6b2c3d
artifacts-5.0.0 Expired
80.6 MB
sha256:6c91b09fdba1b9e9c0f1a5988d8df52c72d343e4dba5785720b89bfed5d39a49
artifacts-5.1.1 Expired
81.6 MB
sha256:0422ff2a0d9d33b59eba178150ae583b1f889ba549966b6e0ce223ad45bc3011