Align Java value tags with Yices 2.7 · SRI-CSL/yices2_java_bindings@45c2ab4

Triggered via push April 2, 2026 07:25

disteph

Status Failure

Total duration 21m 3s

Artifacts –

ci.yml

on: push

Matrix: unix

3 errors and 3 warnings

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

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.15_1 is already installed and up-to-date. To reinstall 1.10.15_1, run: brew reinstall ant