Skip to content
Makefile CI

CHB: improved handling of sideeffect values #175

Sign in to view logs

CHB: improved handling of sideeffect values

CHB: improved handling of sideeffect values #175

Triggered via push August 5, 2025 05:09
@sipmasipma
pushed 32ab47a
master
Status Success
Total duration 8m 5s
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 v1-setup-ocaml-opam-21fd73839264a926ace0c960e9d561cb2d204b412c3d82d65e19876ce685ff59, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
12.6 MB
sha256:f5aa1a74c57b830fbeac89adc428815e98938b470bf5069e34289736da9f3c28
artifacts-4.13.1 Expired
12.8 MB
sha256:cf4fafe63489457b8969c68adc71e1e9d91552ce35ed527515897fb6605bdf3a
artifacts-4.14.1 Expired
12.9 MB
sha256:93c6ebf8057dfb66f15ad70e43d7f136c8c06354d28f0532432d0244aad19286