Skip to content

Reduce allocations in the hot path of value evals #1343

Reduce allocations in the hot path of value evals

Reduce allocations in the hot path of value evals #1343

Triggered via pull request January 4, 2026 09:20
Status Failure
Total duration 38m 43s
Artifacts

build.yml

on: pull_request
Matrix: build
Matrix: test-solver
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
build (ubuntu-latest, 4.14)
Process completed with exit code 1.
build (macos-latest, 4.14)
Process completed with exit code 1.
Test colibri2
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20690758171, another job may be creating this cache.
Test bitwuzla-cxx
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20690758171, 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-20690758171, another job may be creating this cache.
Test cvc5
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20690758171, another job may be creating this cache.