Skip to content
dune CI

CHB: add scaled expression term arrangement #222

Sign in to view logs

CHB: add scaled expression term arrangement

CHB: add scaled expression term arrangement #222

Triggered via push November 5, 2025 07:54
@sipmasipma
pushed 02f95a2
master
Status Success
Total duration 8m 41s
Artifacts 5

dune.yaml

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

Annotations

1 warning
Compile and test CodeHawk (4.12.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-a5e1d6bab68e73fe94899b5520a8e6ec0975a2aed9c430cb43911ab6a3dec85a, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1
73.1 MB
sha256:d79be5369c3a444f366e90e986991a25a3ec9cc3d9e052e246884a1785f77f12
artifacts-4.13.1
74.6 MB
sha256:31a6c2c129f34988c5630d51a1d741d615fe090f70f11e5dbb5fe62a1c333fc1
artifacts-4.14.1
75.2 MB
sha256:75570e410e6f19636418a8ce70241919d76e77e143861e14370180f3701dc183
artifacts-5.0.0
80.9 MB
sha256:22e577c5d49ef097a9e8b4ef6cf91db8e2b79b3e80ddd23c978aa8f655d9997c
artifacts-5.1.1
81.8 MB
sha256:bfd745fc1a47b881e4d6f715be5b7d3d451496dd1068b7aaf13c4b7d2bade51d