Add the names of SMT solvers to their mappings (and log them with SMT queries) #1302
Triggered via pull request
November 24, 2025 10:53
hra687261
Status
Success
Total duration
35m 21s
Artifacts
–
build.yml
on: pull_request
lint
3m 54s
Matrix: build
Matrix: test-solver
Annotations
4 warnings
|
Test colibri2
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-19631770929, 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-19631770929, 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-19631770929, 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-19631770929, another job may be creating this cache.
|