Test Bitwuzla

TACAS25 Artifact #356

Sign in to view logs

Triggered via pull request October 22, 2024 21:26

synchronize #237

artifact-submission

Status Failure

Total duration 5m 20s

Artifacts –

test-bitwuzla.yml

on: pull_request

Annotations

1 error

test-bitwuzla

Process completed with exit code 31.