Add `codehawk.opam` file · static-analysis-engineering/codehawk@d7904d7

Triggered via push September 30, 2025 19:23

sipma

master

Status Success

Total duration 8m 47s

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:b96e9693e5c929a49091bdc76180a861fb1dcde29849817bce194e14f1efaa0c`
artifacts-4.13.1 Expired	74.5 MB	`sha256:446c5be0325bc57f1862624e685ae3ce85aef3cd662cdadcc5adcfef25d972b7`
artifacts-4.14.1 Expired	75.2 MB	`sha256:94ff1f25b75fc055b27fbdba8bbb69f1359052d1c4124c5d6ba1879a75327903`
artifacts-5.0.0 Expired	80.8 MB	`sha256:47b46a7f2a0611c466c7cacbc2d3ba2619d05361156bbce7fa45fee0fc440c43`
artifacts-5.1.1 Expired	81.8 MB	`sha256:895cd5c4869a78e0a7d3027a5cae9b030055f211d1dfa21d27c00bc62f7fda29`