Skip to content
dune 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 8m 24s
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 Expired
73 MB
sha256:a49dd8d1a1b98a76257166671da7d0faba353a51814a885b1fa4712460fe376d
artifacts-4.13.1 Expired
74.5 MB
sha256:7ed8e38b0a9167d45920c591221bd5802be86215395fd9613ab7a1332b58580f
artifacts-4.14.1 Expired
75.2 MB
sha256:9aa605a0987758ea1fecdd19d80b9042f9c18b2b98ab9dd1b086843ac4f4bb31
artifacts-5.0.0 Expired
80.8 MB
sha256:d1816241c4ea9eda2ef31cfadeccea14872e26b7ecf3e34bb557b7b22b92737d
artifacts-5.1.1 Expired
81.8 MB
sha256:26c0c8ff3fabb4efc56a1eb56f7a25f6da923fff0d218c715c51d24a54da9d7e