Skip to content

ARM: add more type inference #141

ARM: add more type inference

ARM: add more type inference #141

Triggered via push March 14, 2025 07:21
Status Failure
Total duration 10s
Artifacts

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

9 errors
Compile and test CodeHawk (5.0.0)
The operation was canceled.
Compile and test CodeHawk (5.0.0)
The operation was canceled.
Compile and test CodeHawk (5.0.0)
The strategy configuration was canceled because "build._4_14_1" failed
Compile and test CodeHawk (4.12.1)
The operation was canceled.
Compile and test CodeHawk (4.12.1)
The strategy configuration was canceled because "build._4_14_1" failed
Compile and test CodeHawk (5.1.1)
The strategy configuration was canceled because "build._4_14_1" failed
Compile and test CodeHawk (4.13.1)
The operation was canceled.
Compile and test CodeHawk (4.13.1)
The operation was canceled.
Compile and test CodeHawk (4.13.1)
The strategy configuration was canceled because "build._4_14_1" failed