Skip to content
Makefile CI

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

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 #217

Triggered via push September 1, 2025 22:34
@sipmasipma
pushed c2782f7
master
Status Success
Total duration 7m 35s
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-477a2186c0ca63149e7cf7c15c3fbe76fe387cfd6992e58be1e4f2fe5c2c03a5, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
12.6 MB
sha256:6100d27c216cf701cd3e30827aea6c942d8f270d417fdaaa1254da0428bda3af
artifacts-4.13.1 Expired
12.9 MB
sha256:0800df233a29cc4222050d28ea1ceef4ce8c8bb4746b5cbc00801a6b21a00cc0
artifacts-4.14.1 Expired
12.9 MB
sha256:ebce906d912da813bbe21e3d9688a64a8930fea89b9976c57d6575bed8fc5929