Skip to content

Check unsat when all outputs are different #3531

Check unsat when all outputs are different

Check unsat when all outputs are different #3531

Triggered via push July 4, 2024 11:59
Status Failure
Total duration 9m 22s
Artifacts

test-macos.yml

on: push
Matrix: test-macos
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
test-macos (macos-13, Ventura, c++11)
Process completed with exit code 2.
test-macos (macos-13, Ventura, c++11)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
test-macos (macos-13, Ventura, c++11)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!
test-macos (macos-13, Ventura, c++17)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
test-macos (macos-13, Ventura, c++17)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!