FStar build with configurable Z3 inputs — 2026-07-10

[github-actions[bot]]

Build status

• ✅ Z3 build completed
• ⚠️ FStar build failure (pipeline continued)

Inputs used

• z3_ref: master
• z3_cmake_args: ``
• z3_runtime_args: smt.ho_matching=true
• fstar_ref: master
• fstar_opam_switch: 4.14.2
• fstar_otherflags: ``

Produced versions

• Z3: Z3 version 4.17.0 - 64 bit - build hashcode 1d425e55cd7e7b8547446b1423c23828ec8f73a9
• FStar: unknown
• FStar commit: 3ddb2ea5d0fe586e56574faa551d962938a9eb1d

Generated SMT2 files

• No generated .smt2 files were found.

Run

• Workflow run: https://github.com/Z3Prover/z3/actions/runs/29071483027