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

Triggered via push September 2, 2025 23:35

sipma

master

Status Success

Total duration 5m 0s

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:4a4652e296eed28211b1180c495f993ec1e02025aa5df36bc75a7a1b52f88379`
artifacts-4.13.1 Expired	74.6 MB	`sha256:d53d5f970860a43cd6d4ceb124177dc7df7711426009f331d6b60998a6ee3da0`
artifacts-4.14.1 Expired	75.2 MB	`sha256:52a5c82ba4781417b9511d71c923d962a94ad5f58dee13304ad0f3e91a15b5f7`
artifacts-5.0.0 Expired	80.8 MB	`sha256:b68d1cd1c3aacd9aa3bc1a9834e0196e8b420bf46bc27fdebd10ac4784e0d90b`
artifacts-5.1.1 Expired	81.8 MB	`sha256:a5b7d11aa4ef762bb25cb63038ca303ce27950156eeae972904ebb5f2b41ef20`