Skip to content

CHB:ARM:remove exituse typing rules #210

CHB:ARM:remove exituse typing rules

CHB:ARM:remove exituse typing rules #210

Triggered via pull request September 8, 2025 07:36
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:8546c2cb50d310a12a47a445ed62fff909c644353fe693b7e67138d8c7884740
artifacts-4.13.1 Expired
74.5 MB
sha256:6efd07532b3b7e541483e9e40fe66fae3be5e398161d394971682723e6eb7952
artifacts-4.14.1 Expired
75.2 MB
sha256:3a86356b1c619254551d5c5c184ac7ec4cfa11168e2cf60428d56fb3eec186b4
artifacts-5.0.0 Expired
80.8 MB
sha256:2f271c38b199920d237b1d0d27c60477ce8fc6dd41aa71e7cca17b253e19534f
artifacts-5.1.1 Expired
81.8 MB
sha256:ae8cd7d77db6fb65d9f5a24dd1edad6c0e320525393bc5ce97be55a2d1ddf109