Test Bitwuzla

Prepare v0.5.0 #397

Sign in to view logs

Triggered via pull request February 5, 2025 15:28

filipeom

labeled #273

filipeom:main

Status Success

Total duration 5m 0s

Artifacts –

test-bitwuzla.yml

on: pull_request