Skip to content
dune CI

CHB:ARM: save typing rule applications #180

Sign in to view logs

CHB:ARM: save typing rule applications

CHB:ARM: save typing rule applications #180

Triggered via push July 23, 2025 05:16
@sipmasipma
pushed fa38c39
liftingarm
Status Success
Total duration 8m 50s
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:265970cbb34c2a1747d5930c69c94ce4583fa8523b8f260cf932d2899be36223
artifacts-4.13.1 Expired
74.4 MB
sha256:29a6577c33be2448ea7869c02c22bda845bd78ec63e1e9e5d0654494f1d5bb4d
artifacts-4.14.1 Expired
75.1 MB
sha256:9240df5ecc4c65b604b02a6f5c8bd7e0d0ca8aa8a9ca3b9e92f771b385042895
artifacts-5.0.0 Expired
80.7 MB
sha256:a7352916f08330ab7291646ac641b310d05ac3ed427c041d368b88d41a1a3e90
artifacts-5.1.1 Expired
81.7 MB
sha256:1e09216838a5fc26dcb89006ed70744e262a4ea4f3c7297562c703175b4b1df1