Skip to content
dune CI

CHC: fix regression tests by switching to another memref representation #240

Sign in to view logs

CHC: fix regression tests by switching to another memref representation

CHC: fix regression tests by switching to another memref representation #240

Triggered via push February 26, 2026 03:48
@sipmasipma
pushed e35d9c3
master
Status Success
Total duration 9m 0s
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-ad97505ce5272cd0e15d54f8b3f57bde10c3c04f4886583e5be6681bb37588a9, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
73.4 MB
sha256:0c42f53a0d472acf540f1491e5b0f7c12e8642f6cde753aa61812c6f94b97108
artifacts-4.13.1 Expired
74.9 MB
sha256:28df2fd4bae8fba290cbf9888c23aa2905cdfee3bce6e9d0a05aa65ebf330524
artifacts-4.14.1 Expired
75.6 MB
sha256:375c9b76c82a6fa3fdc01327fcdfd8a341ca2027b4050aa340c8f3ce209eed7b
artifacts-5.0.0 Expired
81.2 MB
sha256:ec287eabf498d4f1aef1209d557a9222fdae85ee089d75f0eb6adf0be9cc8d5c
artifacts-5.1.1 Expired
82.2 MB
sha256:3dc96ee2557620bbf85f03e048f8f823c6341953f6f17bce9dca4e928297bf18