Skip to content
release

Downgrade Z3 to 4.12.6 #1511

Sign in to view logs

Downgrade Z3 to 4.12.6

Downgrade Z3 to 4.12.6 #1511

Triggered via pull request October 2, 2024 13:32
@konnovkonnov
closed #3012
igor/z3-downgrade-4.12.6
Status Skipped
Total duration 4s
Artifacts –

release.yml

on: pull_request
cut-release
0s
cut-release
Fit to window
Zoom out
Zoom in