CHB:ARM: add c expressions to some results · static-analysis-engineering/codehawk@e4262d8

Triggered via push August 18, 2025 02:20

sipma

master

Status Success

Total duration 5m 6s

Artifacts 5

dune.yaml

on: push

Matrix: Compile and test CodeHawk

Matrix: Run CodeHawk-Binary tests

Matrix: Run CodeHawk-C tests

Produced during runtime

Name	Size	Digest
artifacts-4.12.1 Expired	73 MB	`sha256:e0191d7536e8d05f8da28e0c309fd85ace4c507b4f28e94faf692eb1f10f8547`
artifacts-4.13.1 Expired	74.5 MB	`sha256:3588bcc52b547f073ed60bb8ac213f733eb4e24b4f4341cc78ba5ba5e6ab983a`
artifacts-4.14.1 Expired	75.2 MB	`sha256:fd3d302f093dcd6e8e48a261163542775d18b1455baec5f3c4e47d9db35986cd`
artifacts-5.0.0 Expired	80.8 MB	`sha256:936b5fc20d841362a07ebe62ab0a7c79ea7e3cf62a7316c19c160f9e8aabf0ab`
artifacts-5.1.1 Expired	81.8 MB	`sha256:a296eb0da46d3f9337cd9adaf2f15f1b44542757a8652a6f10aab1ca9b712b57`