Skip to content
dune CI

CHC: add attribute post request for initialized value #240

Sign in to view logs

CHC: add attribute post request for initialized value

CHC: add attribute post request for initialized value #240

Triggered via pull request March 2, 2026 20:25
@sipmasipma
opened #229
sipma:postrequest
Status Success
Total duration 5m 40s
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
73.4 MB
sha256:e2fb4e0cc9291bc9f7d141153391a83c1987664d36a9f467e30de0484234f920
artifacts-4.13.1
74.9 MB
sha256:20f436a0df25af4ae9798546742ef5f8bbc10b636710dd6da3c213f96bbcd049
artifacts-4.14.1
75.6 MB
sha256:b6839477faba9b9d160ac5fc52196cd891001cc76aef3a9533aaf9c7b6fd4311
artifacts-5.0.0
81.2 MB
sha256:379dcde04699b15d45a6d084bab225e9947f98cdc94a6d2368ab2ae54b67856c
artifacts-5.1.1
82.2 MB
sha256:9f7400c1954828d6d881727cbccf4d3fed51e84cf0bdd2b54791386f3f0edac8