Skip to content
dune CI

CHB:don't record save/restores of temporary registers #192

Sign in to view logs

CHB:don't record save/restores of temporary registers

CHB:don't record save/restores of temporary registers #192

Triggered via pull request August 13, 2025 06:43
@sipmasipma
opened #210
sipma:stackvariables
Status Success
Total duration 5m 53s
Artifacts 5

dune.yaml

on: pull_request
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:89375b3afcc0378aedec4694a94d6887ba1e081d48777a61754f5d62bb90b87e
artifacts-4.13.1 Expired
74.5 MB
sha256:6780e25411e92baae25a19d42ab497cce05929c3180c34201b0c342db07fb365
artifacts-4.14.1 Expired
75.2 MB
sha256:24bcb51b1e32dc12eb3e880b37538d32e04fbba8b4c985076718e2905c53dd9a
artifacts-5.0.0 Expired
80.8 MB
sha256:d15eb86b1e4f913244f0aa109556f84ac7e476327043b028cbdd528002bcc494
artifacts-5.1.1 Expired
81.8 MB
sha256:68c56d1c9400fe1bbd1b9095ea4010fe0f1ec25298354221bc406256deb39425