Skip to content
Release Drafter

⬆️ update default Z3 version from 4.11.2 to 4.13.0 #1

Sign in to view logs

⬆️ update default Z3 version from 4.11.2 to 4.13.0

⬆️ update default Z3 version from 4.11.2 to 4.13.0 #1

Triggered via push May 13, 2024 19:19
@burgholzerburgholzer
pushed 88af833
main
Status Success
Total duration 1m 0s
Artifacts –

release-drafter.yml

on: push
Run
3s
Run
Fit to window
Zoom out
Zoom in