Skip to content

CHB:ARM:remove exituse typing rules #220

CHB:ARM:remove exituse typing rules

CHB:ARM:remove exituse typing rules #220

Triggered via push September 5, 2025 17:42
Status Success
Total duration 5m 17s
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:faa054382f74c7addf51bf30919a1a6b32ac34ac5c9defcbf4ec1a6ecaa0c915
artifacts-4.13.1 Expired
74.5 MB
sha256:063efd652113a476fb8281731ff25f95b343f6666a12ca57c8c91db4071d5bd4
artifacts-4.14.1 Expired
75.2 MB
sha256:4f96b3b8761a9c1e83709eccda2218213fd077afe2769e7984d75fdcdf5c97ac
artifacts-5.0.0 Expired
80.8 MB
sha256:40dc011426cebeb2d6bd4dc5e299debbe8f51bb010baeed9cb25d3642d5ea7ec
artifacts-5.1.1 Expired
81.8 MB
sha256:18b9dcd787ecfc4350f0e989cb2c3e6392aa251f329fff100306838c1bdce821