Test cvc5

Bump bitwuzla 0.4.0 -> 0.6.0 #244

Sign in to view logs

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

Triggered via pull request November 6, 2024 10:09

filipeom

labeled #245

bump-bitwuzla

Status Skipped

Total duration 3s

Artifacts –

test-cvc5.yml

on: pull_request