Merge pull request #64 from daniel-larraz/upload-ethos · cvc5/ethos@4e0f640

Triggered via push August 6, 2024 19:01

ajreynol

main

Status Success

Total duration 1m 1s

Artifacts 3

main.yml

on: push

Matrix: build

4 warnings

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

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

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

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

Produced during runtime