CHB: enable more typing rules · static-analysis-engineering/codehawk@53866e6

Triggered via pull request August 11, 2025 19:54

sipma

opened #207

sipma:patchedast

Status Success

Total duration 5m 49s

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:e267410283e28ab2e8017f7b270d3ac1956119039837e69645f8ecf85fd8c351`
artifacts-4.13.1 Expired	74.5 MB	`sha256:bd40cad33408db11dc3f1ac9fad8e9bff10d936b36cb60b4c84d37b890bcfe4b`
artifacts-4.14.1 Expired	75.2 MB	`sha256:57bbbf25b69ac6105d909480f0de9c444b23c0a368e5ea86cf57f76166a71ce8`
artifacts-5.0.0 Expired	80.8 MB	`sha256:17cffa3fcb6ef6d971aa1435ec0f0a6a7580fabc8fa968495a940380fd59d89f`
artifacts-5.1.1 Expired	81.8 MB	`sha256:31e6654cc429bc6ec321efc88e928ec846f490c3a5e15b92df88c08624c41cae`