Skip to content
Test Bitwuzla

Organize src a little #218

Sign in to view logs

Organize src a little

Organize src a little #218

Triggered via pull request August 27, 2024 13:31
@filipeomfilipeom
opened #198
org
Status Failure
Total duration 4m 12s
Artifacts –

test-bitwuzla.yml

on: pull_request
test-bitwuzla
4m 2s
test-bitwuzla
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-bitwuzla
Process completed with exit code 1.