Skip to content

Standardize on using dune to build CodeHawk #158

Standardize on using dune to build CodeHawk

Standardize on using dune to build CodeHawk #158

Triggered via pull request May 2, 2025 20:28
Status Success
Total duration 4m 20s
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:b12611e1b3bd6b5f69f1d754661231c9c7576168b170711f7fefc5f8839e1d33
artifacts-4.13.1 Expired
12.8 MB
sha256:136da5f87b861d9a24151318bd266e07605e48c53571a8ca823caef455d25b00
artifacts-4.14.1 Expired
12.8 MB
sha256:e854507c9ed9d777dc9f075b810269097df27442104220017ae0c38d74376d0f