Skip to content
Bump Version and Start Release Job

deps/z3: Set Version 4.13.0 (#2578) #825

Sign in to view logs

deps/z3: Set Version 4.13.0 (#2578)

deps/z3: Set Version 4.13.0 (#2578) #825

Triggered via push August 14, 2024 05:46
@anvacaruanvacaru
pushed c4ed5b2
master
Status Success
Total duration 15s
Artifacts –

master-push.yml

on: push
Version Bump
7s
Version Bump
Fit to window
Zoom out
Zoom in