Skip to content
dune CI

Standardize on using dune to build CodeHawk #162

Sign in to view logs

Standardize on using dune to build CodeHawk

Standardize on using dune to build CodeHawk #162

Triggered via pull request May 2, 2025 20:28
@brkbrk
opened #196
brk:standardize-on-dune
Status Success
Total duration 5m 16s
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:fa46296c351496472e4375bbcd657c56b5f12b4725d09a02ef4b5db4be269291
artifacts-4.13.1 Expired
74.4 MB
sha256:df774070864e71ef0d25d24e18cea3994109dff42ea3a636dbb636967a79f8cf
artifacts-4.14.1 Expired
75 MB
sha256:edd55bf837027f3b60afc0c32b148ed686e2d20d29f18dc9c43463d2e7dc9c7d
artifacts-5.0.0 Expired
80.6 MB
sha256:93dc6762ea2ad28a2f925d2d748c7014c8d3494d5160a6c219afd0a0efab3c0b
artifacts-5.1.1 Expired
81.6 MB
sha256:3ba7115dee5c7edb2a892b064f5145efdc53d1096622ee80500691e93d9f72c9