Skip to content
build

Support SMT-LIB v2.7 bit-vector operators in psmt2 #756

Sign in to view logs

Support SMT-LIB v2.7 bit-vector operators in psmt2

Support SMT-LIB v2.7 bit-vector operators in psmt2 #756

Triggered via pull request September 4, 2025 16:02
@bclement-ocpbclement-ocp
opened #249
bclement-ocp:smtlib-poly-27
Status Success
Total duration 7m 49s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (ubuntu-latest, ocaml-base-compiler.5.3.0)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-365d81c023c6d92d0b58053995ca908904ce622ff86567aae38875f86d7a90b5, another job may be creating this cache.