Skip to content
Test cvc5

Remove alt-ergo-lib pin and make it compile with 2.6.0 #269

Sign in to view logs

Remove alt-ergo-lib pin and make it compile with 2.6.0

Remove alt-ergo-lib pin and make it compile with 2.6.0 #269

Triggered via pull request March 7, 2025 15:48
@filipeomfilipeom
labeled #308
filipeom:remove-alt-ergo-pin
Status Skipped
Total duration 1s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
0s
test-cvc5
Fit to window
Zoom out
Zoom in