Skip to content
Makefile CI

Standardize on using dune to build CodeHawk #159

Sign in to view logs

Standardize on using dune to build CodeHawk

Standardize on using dune to build CodeHawk #159

Triggered via pull request May 8, 2025 09:37
@brkbrk
synchronize #196
brk:standardize-on-dune
Status Success
Total duration 5m 10s
Artifacts 3

makefiles.yaml

on: pull_request
Matrix: Compile 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
12.5 MB
sha256:95392e5788475bb4ba006e87f5236b5ffd12d79048dfd9be93685cd402296862
artifacts-4.13.1 Expired
12.8 MB
sha256:695be8661390d8ffa340e7c5b919233b5eb5e68f40c1dde508f981560a3537c4
artifacts-4.14.1 Expired
12.8 MB
sha256:2e5d29776b03f1e42975593fdc65552dd1e053d3d7258e486b6fbb9dd797aad6