Skip to content
Build

Encode Trunc_sat_fXX operators #1316

Sign in to view logs

Encode Trunc_sat_fXX operators

Encode Trunc_sat_fXX operators #1316

Triggered via pull request December 7, 2025 15:37
@filipeomfilipeom
synchronize #474
filipe/issue-471
Status Failure
Total duration 36m 48s
Artifacts –

build.yml

on: pull_request
lint
4m 14s
lint
Matrix: build
Matrix: test-solver
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
Test colibri2
Process completed with exit code 20.
build (macos-latest, 5.3)
The process '/Users/runner/hostedtoolcache/opam/2.5.0/arm64/opam' failed with exit code 40
Test bitwuzla-cxx
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20006487029, another job may be creating this cache.
Test z3
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20006487029, another job may be creating this cache.