Skip to content
dune CI

CHB:ARM: add support for tail call returning a value (CHB:Issue:223) #171

Sign in to view logs

CHB:ARM: add support for tail call returning a value (CHB:Issue:223)

CHB:ARM: add support for tail call returning a value (CHB:Issue:223) #171

Triggered via push June 9, 2025 08:34
@sipmasipma
pushed 5bf2a02
master
Status Success
Total duration 10m 10s
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:952a1b994d1297dea436dd2922165aec37af0513786201ad0d1c258334320cbc
artifacts-4.13.1 Expired
74.4 MB
sha256:688318a49d8edf2957f6db76ae232636c156ae960a4f7c1ce97a6679a07f5945
artifacts-4.14.1 Expired
75 MB
sha256:3124ab75bc43513be6653bd60af91cb639e4f5d344a64b315f034142c984de0b
artifacts-5.0.0 Expired
80.6 MB
sha256:ff3af6e26f1ca28b3e2cba2ed10f55c5de808173a072b5ba918b43abb58489eb
artifacts-5.1.1 Expired
81.6 MB
sha256:00a790b5ccb1c5063dbf05deab532c441d4ba148479f420a06414b3c0c2d920a