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

[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 efe5e946f16ec223a91d15101cefc49fb197534d
• FStar: unknown
• FStar commit: 16e48640ec3789259d43603e4e5260f5ce980470

Generated SMT2 files

• No generated .smt2 files were found.

Run

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