Test Bitwuzla

Add support for regular expressions #309

Sign in to view logs

Triggered via pull request October 4, 2024 14:32

filipeom

synchronize #220

add-regexp

Status Failure

Total duration 6m 17s

Artifacts –

test-bitwuzla.yml

on: pull_request

Annotations

1 error

test-bitwuzla

Process completed with exit code 1.