FStar build with configurable Z3 inputs — 2026-06-09

[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 69cd7e0c4c6437c53bf8fe4e380a77ab57e0a6bb
• FStar: unknown
• FStar commit: 1e04f680894e818d3d94cf2edc8cd5a5b70a5f3f

Run

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