Test Bitwuzla

Bump bitwuzla 0.4.0 -> 0.6.0 #377

Sign in to view logs

Triggered via pull request November 6, 2024 10:09

filipeom

labeled #245

bump-bitwuzla

Status Success

Total duration 8m 10s

Artifacts –

test-bitwuzla.yml

on: pull_request