Skip to content
Build and Cache Z3

Fixes necessary to compile z3 included in clang-tidy via FetchContent… #656

Sign in to view logs

Fixes necessary to compile z3 included in clang-tidy via FetchContent…

Fixes necessary to compile z3 included in clang-tidy via FetchContent… #656

Triggered via push June 9, 2026 02:44
@NikolajBjornerNikolajBjorner
pushed 69cd7e0
master
Status Success
Total duration 15m 7s
Artifacts –

build-z3-cache.yml

on: push
Build Z3 for caching
14m 44s
Build Z3 for caching
Fit to window
Zoom out
Zoom in