Test Bitwuzla

Don't use self-hosted for deploy CI #102

Sign in to view logs

Triggered via push June 21, 2024 21:20

filipeom

main

Status Failure

Total duration 3m 49s

Artifacts –

test-bitwuzla.yml

on: push

Annotations

1 error

test-bitwuzla

Process completed with exit code 31.