Encode Trunc_sat_fXX operators
#1315
filipeombuild.yml
on: pull_request
lint
4m 14s
Matrix: build
Matrix: test-solver
Annotations
3 errors and 1 warning
|
Test alt-ergo-lib
The process '/opt/hostedtoolcache/opam/2.5.0/x86_64/opam' failed with exit code 40
|
|
Test cvc5
The process '/opt/hostedtoolcache/opam/2.5.0/x86_64/opam' failed with exit code 40
|
|
Test colibri2
Process completed with exit code 20.
|
|
Test z3
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20006476860, another job may be creating this cache.
|