Skip to content
Test Bitwuzla

Add workflows to test colibri2 and bitwuzla #2

Sign in to view logs

Add workflows to test colibri2 and bitwuzla

Add workflows to test colibri2 and bitwuzla #2

Triggered via pull request May 28, 2024 08:29
@filipeomfilipeom
synchronize #119
filipeom:solvers-ci
Status Failure
Total duration 15m 23s
Artifacts –

test-bitwuzla.yml

on: pull_request
build
15m 14s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.