Skip to content
dune CI

CHB: correct for stackpointer wrap-around #235

Sign in to view logs

CHB: correct for stackpointer wrap-around

CHB: correct for stackpointer wrap-around #235

Triggered via push January 23, 2026 00:11
@sipmasipma
pushed c402f7f
stackframe
Status Success
Total duration 5m 26s
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.1 MB
sha256:9349bdb06910808a3a764d7256ca056f94ff23131565c22270a6f8b22a0fe76f
artifacts-4.13.1 Expired
74.7 MB
sha256:10207a29c0dcdd2d7638ee5b1e399d99486086a7d566e50a80161e41ea6e8b1b
artifacts-4.14.1 Expired
75.3 MB
sha256:7ba6d0cf8661ae64f08ddaa2945a24ab5c57e8e0aa625a41ba4746dce6e61563
artifacts-5.0.0 Expired
80.9 MB
sha256:912f1228de31724ab4cac852e79a1a249318bbacd9bab9c436c7c097629b6592
artifacts-5.1.1 Expired
81.9 MB
sha256:c879d7b2b07bdc0b90f93866739321665b29f43c2794d7e7f2f10cdcc7b54a6c