Skip to content

Update cvc5 version to 1.2.0 #23

Update cvc5 version to 1.2.0

Update cvc5 version to 1.2.0 #23

Triggered via pull request August 8, 2024 20:58
Status Success
Total duration 15m 8s
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
20.9 MB
bottle-macos-14 Expired
20.2 MB
bottle-ubuntu-22.04 Expired
26.4 MB