Skip to content
Makefile CI

CHB: support for conversion to c expr of pointer arithmetic #203

Sign in to view logs

CHB: support for conversion to c expr of pointer arithmetic

CHB: support for conversion to c expr of pointer arithmetic #203

Triggered via push September 1, 2025 22:33
@sipmasipma
pushed c2782f7
master
Status Success
Total duration 7m 11s
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.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 Expired
12.6 MB
sha256:fc9fdc1fbc5f1fa0d586f8f1dea7f2858c6d6a63e6afd69bff72e0d71a4ee177
artifacts-4.13.1 Expired
12.9 MB
sha256:01298f5c1a71ee4db4b91e2bf4e5e6602eb673a8627602c5a142c4115c56ee2a
artifacts-4.14.1 Expired
12.9 MB
sha256:d04f44c0fccfaeceac67453f91c0165a0a847f642f861a643fddde09f8f508d2