Skip to content
Test cvc5

Prepare v0.5.0 #261

Sign in to view logs

Prepare v0.5.0

Prepare v0.5.0 #261

Triggered via pull request February 5, 2025 15:27
@filipeomfilipeom
labeled #273
filipeom:main
Status Failure
Total duration 35m 4s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
34m 44s
test-cvc5
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-cvc5
Process completed with exit code 31.