Skip to content
CLA

Bump Z3 version from 4.13 to 4.15 #393

Sign in to view logs

Bump Z3 version from 4.13 to 4.15

Bump Z3 version from 4.13 to 4.15 #393

Triggered via pull request May 20, 2025 14:50
@Framba-LucaFramba-Luca
synchronize #808
z3_version_4_15
Status Success
Total duration 10s
Artifacts –

cla.yml

on: pull_request
Checks that all committers are in CONTRIBUTORS
3s
Checks that all committers are in CONTRIBUTORS
Fit to window
Zoom out
Zoom in