Test Bitwuzla

Prepare v0.5.0 #394

Sign in to view logs

Triggered via pull request February 5, 2025 15:27

filipeom

labeled #273

filipeom:main

Status Success

Total duration 5m 2s

Artifacts –

test-bitwuzla.yml

on: pull_request