CHB:ARM: add more type inference · static-analysis-engineering/codehawk@4d3259a

Triggered via pull request March 15, 2025 02:43

sipma

opened #183

sipma:astprovsupport

Status Success

Total duration 4m 58s

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	72.8 MB	`sha256:a8f5dc67af1fe94860790d77f747f592ea511a201a67d4b3e1dff0aae9f14cdf`
artifacts-4.13.1 Expired	74.3 MB	`sha256:7ee1dc959391136eff9b31e9f24aca3a0e57eea93bc2e20ac542964c91e33e5f`
artifacts-4.14.1 Expired	74.9 MB	`sha256:272c72562055e78468aea1f3dafeef1300a2a2d342ac006bc846518977019ed2`
artifacts-5.0.0 Expired	80.5 MB	`sha256:33b7e57bdfde535c04e24406318efc5345360e2499a2fe4958776c14c51f78f9`
artifacts-5.1.1 Expired	81.6 MB	`sha256:20aeaa97abdd5630ebf00ad6e2c170b3bea9e7e54b96c5a59ef61f580c51912c`