Test Bitwuzla

Fix CI #372

Sign in to view logs

Triggered via pull request October 24, 2024 06:36

filipeom

opened #239

fix-ci

Status Failure

Total duration 14s

Artifacts –

test-bitwuzla.yml

on: pull_request

Annotations

1 error

test-bitwuzla

Process completed with exit code 1.