CHB: enable LDR-memop-tc rule · static-analysis-engineering/codehawk@767fe1a

Triggered via push August 24, 2025 23:44

sipma

master

Status Success

Total duration 5m 10s

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:68b143789fd728bed296d85e0c5cc66601069b386547a75055b6271ab64646db`
artifacts-4.13.1 Expired	74.5 MB	`sha256:8ed8436889269e998eb6c9da72e42466e4ce6e8d8f4fe347e26bee264aa8aabf`
artifacts-4.14.1 Expired	75.2 MB	`sha256:6875c09e8222eb0aa2d8a8e2a89c045430099598953993802b4338035e865623`
artifacts-5.0.0 Expired	80.8 MB	`sha256:d75e38dc0f00fcb8821516a73b401abfc0bcf0fb3f545630f4fd3bb065d9dd56`
artifacts-5.1.1 Expired	81.8 MB	`sha256:c52204837a98b87c31e0f46d2f7e655d1ba04a2455086400da6bae12d0f931ea`