Skip to content

CHB: fix Makefile

CHB: fix Makefile #164

Triggered via push May 21, 2025 18:45
Status Success
Total duration 8m 36s
Artifacts 3

makefiles.yaml

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

Annotations

1 warning
Compile CodeHawk (4.14.1)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-4fe06db2ec56e6f18aa1aa5f013b8a74aa0c456eca4e6dc25ae22710efce5a05, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
12.5 MB
sha256:95620bf0ee894b01bdeef8c54670f963244bba28cb9ece19bd061a6a087d8015
artifacts-4.13.1 Expired
12.8 MB
sha256:86b609885f6e0fc216c742f313c9dc362d649630efb6b741c67b364255d87b70
artifacts-4.14.1 Expired
12.8 MB
sha256:7966cdf9841decb8364ebb3b110b17e2cb6564fed1a2f5ae511564f75f28ff40