Build and Cache Z3

enable higher-order matching in mam/smt_quantifier #560

Sign in to view logs

Triggered via push May 23, 2026 00:06

master

Status Success

Total duration 16m 36s

Artifacts –

build-z3-cache.yml

on: push

Build Z3 for caching