Skip to content
dune CI

CHB: incorporate more type info in constructing memory offsets #189

Sign in to view logs

CHB: incorporate more type info in constructing memory offsets

CHB: incorporate more type info in constructing memory offsets #189

Triggered via push August 11, 2025 17:52
@sipmasipma
pushed e49da83
master
Status Success
Total duration 5m 55s
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:53148865d3d9850fbc62ceb9e8317c789e5a49a6d32681cd9ac268ff6c3a43c5
artifacts-4.13.1 Expired
74.5 MB
sha256:62a2cbbae2d22124c97b361fb4b59eee06cf8da7ba9ef9ec257dab37b0c43eaa
artifacts-4.14.1 Expired
75.2 MB
sha256:bd5689e322fb58c8281b427af4fa97e2b38316fb4f5631942ceb73afb478d9ad
artifacts-5.0.0 Expired
80.8 MB
sha256:756245bab948543fc530e5a7cf8484473ddd0cedcb183880387f9a6fa3acc86a
artifacts-5.1.1 Expired
81.8 MB
sha256:ed330c6571189bba48195e49bfc4d7a346fb717cb3caa890e01a77fb385d9dd2