Build and Cache Z3

Bump actions/upload-artifact from 4 to 7 (#9827) #680

Sign in to view logs

Triggered via push June 12, 2026 04:19

master

Status Success

Total duration 12m 22s

Artifacts –

build-z3-cache.yml

on: push

Build Z3 for caching