Support SMT-LIB v2.7 bit-vector operators in psmt2 · Gbury/dolmen@2e83b12

Triggered via pull request September 4, 2025 16:02

opened #249

Status Success

Total duration 26m 4s

Artifacts –

install.yml

on: pull_request

Matrix: install

1 warning and 2 notices

Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-3.6.4, another job may be creating this cache.

The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677

The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677