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

[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: _nik_higher_order_smt
• fstar_opam_switch: 4.14.2
• fstar_otherflags: --split_queries --log_failing_queries --ext higher_order_smt --proof_recovery

Produced versions

• Z3: Z3 version 4.17.0 - 64 bit - build hashcode c174df4071783ca81c03e38bf8ceccc18f196c05
• FStar: unknown
• FStar commit: 848d63ad4a10703c2424e293c4023c0e868d2b1a

Run

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