Skip to content
dune CI

CHB: add more memory variable typing #139

Sign in to view logs

CHB: add more memory variable typing

CHB: add more memory variable typing #139

Triggered via push March 13, 2025 07:17
@sipmasipma
pushed a58d1b4
master
Status Success
Total duration 6m 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
72.8 MB
sha256:91ea4c7c5882934590e75c960442fc17960dff735f6bc16688ec479fb230b886
artifacts-4.13.1 Expired
74.3 MB
sha256:33a2f5ff5dcb1c98c6ba7ee73460cedf65378c901730286764366fdda2a064cd
artifacts-4.14.1 Expired
74.9 MB
sha256:05bf027326d46d9b022393f4e967b35e5a8d1be5c3cc817c907a95df7d18dbc9
artifacts-5.0.0 Expired
80.5 MB
sha256:742806aac755f9833de9e7ba9aadc2cc42892c2e4abcb74a7d372c05fe987e4a
artifacts-5.1.1 Expired
81.6 MB
sha256:62c186a8a82f2d5b8087e8c14f6224574f04506c6081fb2d797a91c63b2dde74