CHB:ARM: allow for printing data sections · static-analysis-engineering/codehawk@ff65ce0

Triggered via pull request September 2, 2025 23:24

sipma

opened #218

sipma:datalayout

Status Success

Total duration 5m 12s

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:59c52a525b507b8c2a35b89ffd13ef951bb1386a876c2692153fc483f45d4793`
artifacts-4.13.1 Expired	74.6 MB	`sha256:c7a90a84c42ae7dbad0e8cce48dddeabe34fd7d4536ff539c850e1ea8f7e40ab`
artifacts-4.14.1 Expired	75.2 MB	`sha256:290ca770ff77a7210407fce6eee75f7b80a8d36c4e0fdcb1d5a752ed968754b8`
artifacts-5.0.0 Expired	80.8 MB	`sha256:540bee0198e54027555886e07f6c03613a26353f21422f7c17d0e822e3dbb594`
artifacts-5.1.1 Expired	81.8 MB	`sha256:c7d22045483e5bef11ae62afcb5c4295b0f50422302db8ce776c5477487bbac2`