Skip to content

CHB:ARM:remove exituse typing rules #211

CHB:ARM:remove exituse typing rules

CHB:ARM:remove exituse typing rules #211

Triggered via push September 8, 2025 07:42
Status Success
Total duration 5m 2s
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:853eff37dd6ee8ce20ad73e89edeecb4f50c1285e8fe6f7cbedd32a4f9cf8625
artifacts-4.13.1 Expired
74.5 MB
sha256:22e178de725cca29fb123f2ec6047cad333e621e709ddc9d1c76031d201cb705
artifacts-4.14.1 Expired
75.2 MB
sha256:db2d17aa548240fbc6b446c6c8db5e991ef1cf45621dcc24f0eec576c92c1221
artifacts-5.0.0 Expired
80.8 MB
sha256:7fd90ee4f617254529f8de371ab3ef2eae99e3fd7ff5caca793b95c9f8627011
artifacts-5.1.1 Expired
81.8 MB
sha256:fcb79e40f44350cc2f1d8d4f297458c548e6d3ccf255ea5ef3c5978587830791