Skip to content

Standardize on using dune to build CodeHawk #163

Standardize on using dune to build CodeHawk

Standardize on using dune to build CodeHawk #163

Triggered via pull request May 8, 2025 09:37
Status Success
Total duration 5m 59s
Artifacts 5

dune.yaml

on: pull_request
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
72.8 MB
sha256:f04634216f434920bbf7569dc0b12786b893079f297d617e35adee199bc87e67
artifacts-4.13.1 Expired
74.4 MB
sha256:f9f9d0675dd730d2bff6852535d677006621012fa4fdf67475f6a8476a89e414
artifacts-4.14.1 Expired
75 MB
sha256:39643441a29d5d7b1ad3e20f7edc24e69bc5ead2c5d08bf8e6e55214d697bdbf
artifacts-5.0.0 Expired
80.6 MB
sha256:b74c22e90431a6185e4e8d080517249d590625801a16ba5424599faf6a0c32c9
artifacts-5.1.1 Expired
81.6 MB
sha256:564c1279d5b6d0fa9568bca5de8f27bd2775548d54c727932362ca253404c36e