Test Bitwuzla

Reduce ci jobs #294

Sign in to view logs

Triggered via pull request October 3, 2024 10:02

filipeom

opened #222

reduce-ci-jobs

Status Success

Total duration 8m 58s

Artifacts –

test-bitwuzla.yml

on: pull_request