Use dolmen #249

Sign in to view logs

Triggered via pull request September 8, 2024 18:23

filipeom

synchronize #202

use-dolmen

Status Success

Total duration 4m 58s

Artifacts –

test-bitwuzla.yml

on: pull_request