Skip to content
dune CI

CHB: incorporate loop counters in result rewriting #226

Sign in to view logs

CHB: incorporate loop counters in result rewriting

CHB: incorporate loop counters in result rewriting #226

Triggered via push October 22, 2025 04:19
@sipmasipma
pushed 332be20
stackframe
Status Success
Total duration 9m 3s
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:759dc749be6342747ccd824e9e8512a6a249f6b9f977c0548e30b20257802b84
artifacts-4.13.1 Expired
74.6 MB
sha256:d27ed3cad4c1e39eb5264ed594ffdc519a8ce93b46d88724ac0a4769a088a08a
artifacts-4.14.1 Expired
75.2 MB
sha256:1a27c5f52d803e6ba9d990cffec70e8e7212a7c416161144d021f6f899fef80b
artifacts-5.0.0 Expired
80.9 MB
sha256:9964ebd09288d483024303d3314e2fa34f54aa50c5fc7dfecccac48a9e9ec16d
artifacts-5.1.1 Expired
81.8 MB
sha256:2321d79abf2e5e3dea12f454fb47d6a0b2e0c990247edba5fbc892c8c43b4070