Skip to content
Test Z3

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

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 #521

Triggered via pull request March 7, 2025 15:40
@filipeomfilipeom
opened #308
filipeom:remove-alt-ergo-pin
Status Success
Total duration 14m 47s
Artifacts –

test-z3.yml

on: pull_request
test-z3
14m 42s
test-z3
Fit to window
Zoom out
Zoom in