Test Bitwuzla

Minor refactor #384

Sign in to view logs

Triggered via pull request December 6, 2024 17:41

filipeom

labeled #261

filipeom:minor-refactor

Status Failure

Total duration 5m 3s

Artifacts –

test-bitwuzla.yml

on: pull_request

Annotations

1 error and 1 warning

test-bitwuzla

Process completed with exit code 1.

test-bitwuzla

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636