Skip to content
Test Bitwuzla

Add workflow to test Bitwuzla #3

Sign in to view logs

Add workflow to test Bitwuzla

Add workflow to test Bitwuzla #3

Triggered via push May 28, 2024 09:03
@filipeomfilipeom
pushed 5e773d7
main
Status Failure
Total duration 15m 21s
Artifacts –

test-bitwuzla.yml

on: push
build
15m 12s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.