Skip to content
Build and Cache Z3

tptp: share 0-arity decls across sorts to fix bare constant equality … #549

Sign in to view logs

tptp: share 0-arity decls across sorts to fix bare constant equality …

tptp: share 0-arity decls across sorts to fix bare constant equality … #549

Triggered via push May 21, 2026 15:55
@NikolajBjornerNikolajBjorner
pushed 1323530
master
Status Success
Total duration 13m 32s
Artifacts –

build-z3-cache.yml

on: push
Build Z3 for caching
11m 45s
Build Z3 for caching
Fit to window
Zoom out
Zoom in