Skip to content
dune CI

CHC: add attribute post request for initialized value #244

Sign in to view logs

CHC: add attribute post request for initialized value

CHC: add attribute post request for initialized value #244

Triggered via push March 2, 2026 20:34
@sipmasipma
pushed 5eaebca
master
Status Success
Total duration 5m 42s
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.4 MB
sha256:70a2bea302281f576165077f59467bfe80f1adc843f0eb45da66a745b931b748
artifacts-4.13.1 Expired
74.9 MB
sha256:fe391056351ddea53f305dc31996ed7d821c813e8c80c1d6613d5f3dd57b9f63
artifacts-4.14.1 Expired
75.6 MB
sha256:e7153f643c3650c5eeb8cf866988489d9300d9764d5f266afe04de9638a82155
artifacts-5.0.0 Expired
81.2 MB
sha256:85f483ba67e643a65f751e5191b9c620600e83b96548812cb62c5ae19a75d064
artifacts-5.1.1 Expired
82.2 MB
sha256:959fc754f45ca8f430080f577823464eb3c4684c7d989900bffbe957ade3c19d