CHB:ARM: transmit ldrsh/ldrsb aggregates · static-analysis-engineering/codehawk@5624012

Triggered via pull request October 13, 2025 06:59

sipma

opened #222

sipma:aggregate

Status Success

Total duration 5m 24s

Artifacts 5

dune.yaml

on: pull_request

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:3f0855db77b0a4ae60dfb82f70c5af684c776f5d18887dc95336b2040ab9ad12`
artifacts-4.13.1 Expired	74.5 MB	`sha256:a4e2e71ccd3814921e6614cd03c12d4cc5d07cfdc6699183e90b7661e3737462`
artifacts-4.14.1 Expired	75.2 MB	`sha256:5bdd8d2b1c85bea721f2d0f56ada073fc28582e9f9a0860cab6b9c8787adf5a0`
artifacts-5.0.0 Expired	80.8 MB	`sha256:ce50fdd4f42e0d0b71cfe60f4881fae83d4e01dfb65b51820ae0453d1fe25088`
artifacts-5.1.1 Expired	81.8 MB	`sha256:ffa27cbeaaf22dde7280aa2563af50f43568e12c574e828850584e0810d75ade`