Merge branch 'main' of https://github.com/cvc5/cvc5 · yoni206/cvc5@7b78129

Triggered via push May 30, 2024 18:50

yoni206

main

Status Success

Total duration 31m 49s

Artifacts 1

ci.yml

on: push

Matrix: build

3 warnings

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

Produced during runtime

Name	Size
documentation Expired	4.3 MB