Test cvc5

Add back colibrilib pin dependency to fix CI #147

Sign in to view logs

Summary
Jobs
- test-cvc5
Run details
- Usage
- Workflow file

Triggered via push September 17, 2024 18:23

filipeom

main

Status Success

Total duration 33m 47s

Artifacts –

test-cvc5.yml

on: push