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

Triggered via pull request September 25, 2025 20:26

brk

opened #220

brk:push-srrqwkvmrzwv

Status Success

Total duration 8m 57s

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:2c34922add75f5e077542d1f6fad190214dd195c515be0a0a53524a2f7780778`
artifacts-4.13.1 Expired	74.5 MB	`sha256:80563dd965d9b3db54ebadd293f85dfb85b22455eea62efc473e37f31a4b9310`
artifacts-4.14.1 Expired	75.2 MB	`sha256:27d5816e121735f055d43e63a38d1df9b40c85826a6f99e084788e1e2dfa1070`
artifacts-5.0.0 Expired	80.8 MB	`sha256:e99e22c2e2c31b427e9a175ee880c88e22fcf9d2537a92517d675b6239a0c256`
artifacts-5.1.1 Expired	81.8 MB	`sha256:1aac63a72a8b77bc713a3761ec5c097d1978aea006ecb4b6c00d86fa2a1a80e1`