Skip to content
Makefile CI

CHB: incorporate loop counters in result rewriting #226

Sign in to view logs

CHB: incorporate loop counters in result rewriting

CHB: incorporate loop counters in result rewriting #226

Triggered via push October 22, 2025 04:19
@sipmasipma
pushed 332be20
stackframe
Status Success
Total duration 7m 51s
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
12.6 MB
sha256:0bf63cc0ed5b89260eb7a1f7d5fb51f74d59476d785ac2538ef2b96d9e3cc0c2
artifacts-4.13.1
12.9 MB
sha256:aef9524560e232b23315075b3a4f440add83f9bd2bbaa8be1fd54ebc497e011d
artifacts-4.14.1
13 MB
sha256:532aa0590f4b91171200490df0de49f02fe7cb746bb0061b219100ec2c49e8a5