Skip to content
dune CI

CHB:ARM: give priority to declared stack types #232

Sign in to view logs

CHB:ARM: give priority to declared stack types

CHB:ARM: give priority to declared stack types #232

Triggered via push January 13, 2026 05:18
@sipmasipma
pushed 20c7d8a
stackframe
Status Success
Total duration 5m 24s
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:aeab6ad1d54fcb6e98c9710cab1c037dc4ce4f913c75f6718dd7a7fa1efafaae
artifacts-4.13.1 Expired
74.6 MB
sha256:317579ce261ef4efcc429e332bbe27228edacb60f6b0c932425222d5679c6fc4
artifacts-4.14.1 Expired
75.3 MB
sha256:b0a5ea8d286ad63a34cf1bd59aefd0bdf25b5966b34fa38464ff91dda2b35891
artifacts-5.0.0 Expired
80.9 MB
sha256:574e84e32c309ed11551faac969c73752f6217150727d9d9a5f986b2ccab42d3
artifacts-5.1.1 Expired
81.9 MB
sha256:b4c7ac33e326893b02909be2232d7df1f3874f753d2097baa7457e84de979b48