Skip to content
CI

Automatically download Z3 if not already installed #116

Sign in to view logs

Automatically download Z3 if not already installed

Automatically download Z3 if not already installed #116

Triggered via pull request May 23, 2024 16:07
@elsorokaelsoroka
opened #43
download-z3
Status Success
Total duration 1m 51s
Artifacts –

ci.yml

on: pull_request
run
1m 41s
run
Fit to window
Zoom out
Zoom in