Test Bitwuzla

Update benchmarking dataset submodules #317

Sign in to view logs

Triggered via pull request October 7, 2024 16:19

filipeom

synchronize #226

update-bench-submodules

Status Success

Total duration 5m 31s

Artifacts –

test-bitwuzla.yml

on: pull_request