Skip to content
dune CI

CHB:ARM: update typing rules (in progress) #175

Sign in to view logs

CHB:ARM: update typing rules (in progress)

CHB:ARM: update typing rules (in progress) #175

Triggered via push July 15, 2025 07:59
@sipmasipma
pushed b255965
master
Status Success
Total duration 5m 46s
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.9 MB
sha256:dc2cc6ae17ebff976046ceb1b4181ad056f4257ebbd9fbade3516260130f84e1
artifacts-4.13.1 Expired
74.4 MB
sha256:5882b9cd6e6f051b477d83df565117d4f6c6fb1caf4a66a2e88bcdb6a2bf2bc8
artifacts-4.14.1 Expired
75 MB
sha256:ef128e77fac8be5c9d522516a549b82ff07003d9913ac9c03699edf992d51527
artifacts-5.0.0 Expired
80.7 MB
sha256:febd5753ca1704c12ce28291fb3db0699ca997b159aded91b52f69f6c363abcd
artifacts-5.1.1 Expired
81.7 MB
sha256:29fdb5012a51f7f6f9db3913928fca6cfd56d0fcb73988fc3495547f9aa3c5e1