brew test-bot

Update cvc5 version to 1.2.1 (#11) #26

Sign in to view logs

Triggered via push January 28, 2025 17:01

mpreiner

main

Status Success

Total duration 4m 13s

Artifacts –

tests.yml

on: push

Matrix: test-bot