Test Bitwuzla

Small refactor #305

Sign in to view logs

Triggered via pull request October 4, 2024 08:38

filipeom

synchronize #224

small-refactor

Status Success

Total duration 5m 43s

Artifacts –

test-bitwuzla.yml

on: pull_request