Merge branch 'master' into pr-8 · SRI-CSL/yices2_java_bindings@9de2cb2

Triggered via push April 30, 2026 18:46

disteph

pr-8

Status Cancelled

Total duration 7m 25s

Artifacts –

ci.yml

on: push

Matrix: unix

5 errors and 3 warnings

Process completed with exit code 1.

Process completed with exit code 1.

The run was canceled by @disteph.

The operation was canceled.

The run was canceled by @disteph.

pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp

ant 1.10.17 is already installed and up-to-date. To reinstall 1.10.17, run: brew reinstall ant