Skip to content
brew test-bot

Update cvc5 version to 1.1.2 #20

Sign in to view logs

Update cvc5 version to 1.1.2

Update cvc5 version to 1.1.2 #20

Triggered via pull request March 1, 2024 20:03
@daniel-larrazdaniel-larraz
opened #9
cvc5-1.1.2
Status Success
Total duration 21m 16s
Artifacts 3

tests.yml

on: pull_request
Matrix: test-bot
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
bottle-macos-13 Expired
19.4 MB
bottle-macos-14 Expired
18.7 MB
bottle-ubuntu-22.04 Expired
24.8 MB