Skip to content
Test Bitwuzla

Use dolmen #227

Sign in to view logs

Use dolmen

Use dolmen #227

Triggered via pull request September 2, 2024 07:18
@filipeomfilipeom
synchronize #202
use-dolmen
Status Success
Total duration 4m 24s
Artifacts –

test-bitwuzla.yml

on: pull_request
test-bitwuzla
4m 11s
test-bitwuzla
Fit to window
Zoom out
Zoom in