Skip to content
dune CI

CHC: add attribute post request for initialized value #241

Sign in to view logs

CHC: add attribute post request for initialized value

CHC: add attribute post request for initialized value #241

Triggered via push March 2, 2026 20:34
@sipmasipma
pushed 5eaebca
master
Status Success
Total duration 5m 32s
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
73.4 MB
sha256:5e85afd533b9f304462aaf68c25730d3e31879e860b75e4917dfd9fb2cf4725c
artifacts-4.13.1
74.9 MB
sha256:8fe6a5d150fc7a2d776480f4302c25ef85f2671a4936094d6cc59a9aaec2a4b1
artifacts-4.14.1
75.6 MB
sha256:19b8a0065fa0f802349a6fcdc681b200e4f7d85f7b9331ad4ab638d70c0a32a4
artifacts-5.0.0
81.2 MB
sha256:43a94af9f5a3f10dd8a553e851ea65f50696e6e8badc612936d9f7d0628b6975
artifacts-5.1.1
82.2 MB
sha256:bf602cd13fe140a159737be8c01564030e5402488fedbbd93f269095e0b9193a