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

Triggered via push August 11, 2025 20:05

sipma

master

Status Success

Total duration 5m 54s

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:fed1d495f6601a161cd930e67550243932b037cf8160e4a8877fc0b2cee30fb4`
artifacts-4.13.1 Expired	74.5 MB	`sha256:4db22e66b6bbd626262eb5e1e6bf1a1b12fa64f278bd22e82985f253dfc118bb`
artifacts-4.14.1 Expired	75.2 MB	`sha256:2f4edf73111a6d5c09e0862f9f1c73b1d3f156f4a80790571fb2f3e88c4f449f`
artifacts-5.0.0 Expired	80.8 MB	`sha256:fa5ae664fe256a5baed914a85dce48937faa1018d4e8d420f485b16f3888720f`
artifacts-5.1.1 Expired	81.8 MB	`sha256:73f83271ad84219ca8f5e4fc7f6505cc8edb997e597cff593d4963336ac0b8f1`