Skip to content
dune CI

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

Sign in to view logs

CHB: incorporate more type info in constructing memory offsets

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

Triggered via push August 11, 2025 17:51
@sipmasipma
pushed e49da83
master
Status Success
Total duration 5m 11s
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:2147292c2d99e71a710cee7e884ce9d09ebb1941dec98a23d17c471f61bcb2d9
artifacts-4.13.1 Expired
74.5 MB
sha256:9267912359ff4b629aa6b18ad3c70b7758efb74aa8f043798e2fe1bb4f461b48
artifacts-4.14.1 Expired
75.2 MB
sha256:83f40c2162399cc31c65a721e707083eb16bab65bd2187a485ccf5de52bd9cb6
artifacts-5.0.0 Expired
80.8 MB
sha256:6ef32ac5bbea77b4b9228692a277a75aefdfef1a5fbc6cd2ffac1a3fb7c50996
artifacts-5.1.1 Expired
81.8 MB
sha256:2b6e91411744a9dc2ea5d1315e9f897af96cea572efe088ef56726f149180a9f