Skip to content
dune CI

CHB: handle void-typed target address #201

Sign in to view logs

CHB: handle void-typed target address

CHB: handle void-typed target address #201

Triggered via push August 20, 2025 07:09
@sipmasipma
pushed e4a6caa
typingrules
Status Success
Total duration 5m 5s
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 MB
sha256:b782e994e5e1af46f55cf57cd4af5f1a401ab1b557020f30a03bc1a00afe19af
artifacts-4.13.1 Expired
74.5 MB
sha256:2e8e57a40581121e30310a7a63a18fcc62e2bf02fa4ba93743d2de64589f7b03
artifacts-4.14.1 Expired
75.2 MB
sha256:443d9678ae640e6cf1d4651bdac0299a685128be135477f9e3df8336af5d8add
artifacts-5.0.0 Expired
80.8 MB
sha256:6dbb120ad5ae6b3c4157b9313d1b950a6ca86b2372273c58094a9c9c579e1a4a
artifacts-5.1.1 Expired
81.8 MB
sha256:f51c827badb8fa484237964977c2ebf166477b2475ae73ed0dac4ed2993ae498