Skip to content
Build

WIP: Add a simple Smtml.Expr.t -> smt2 pretty printer #1271

Sign in to view logs

WIP: Add a simple Smtml.Expr.t -> smt2 pretty printer

WIP: Add a simple Smtml.Expr.t -> smt2 pretty printer #1271

Triggered via pull request October 29, 2025 17:46
@filipeomfilipeom
opened #440
filipe/smt-printer
Status Success
Total duration 36m 13s
Artifacts –

build.yml

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

Annotations

4 warnings
Test colibri2
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-18917205363, 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-18917205363, 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-18917205363, 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-18917205363, another job may be creating this cache.