Skip to content

CHB:ARM: handle MOV aggregates without predicate #215

CHB:ARM: handle MOV aggregates without predicate

CHB:ARM: handle MOV aggregates without predicate #215

Triggered via push October 12, 2025 06:27
Status Success
Total duration 8m 51s
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.13.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-dfe13b7d8282120d3d164b030b941404643247ae5a03d26abec2080e57c23b67, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1
73 MB
sha256:4c02f03efe4625f3e041778614d7b694c1a6c5a87b9cc06083ae07f9f5af35e3
artifacts-4.13.1
74.5 MB
sha256:190abd9721f8b792e2f91453e8f17631f503929350ffb51607e6434b455a0145
artifacts-4.14.1
75.2 MB
sha256:4a3fe69419d55ffd2d06aa5db20c23b800ca6c3c8c5d4d7ea3b5ce5d851c6c40
artifacts-5.0.0
80.8 MB
sha256:d0768ba23bea88794ea3415bc0bb7b1fedfbfaa99cc8d901d7b830ef6db29364
artifacts-5.1.1
81.8 MB
sha256:4bbbaf40c12a98616d1973d13a0a6fcdc6e139bfcce89f1a755e1c13aeb01382