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

[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 05c9ece3d20047866e21da02b563aef2fa07cb67
• FStar: unknown
• FStar commit: 989b2612c6f208b1fc743f4b67760461914902ab

Generated SMT2 files

• No generated .smt2 files were found.

Run

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