Test cvc5

Prepare v0.5.0 #264

Sign in to view logs

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

Triggered via pull request February 5, 2025 15:28

filipeom

labeled #273

filipeom:main

Status Skipped

Total duration 4s

Artifacts –

test-cvc5.yml

on: pull_request