From 42e6ec5644009525c7373528c95a820561c94229 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 8 Jun 2026 10:30:37 -0700
Subject: [PATCH] Update fstar-master-build.yml

---
 .github/workflows/fstar-master-build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/fstar-master-build.yml b/.github/workflows/fstar-master-build.yml
index c49f71975..4b674fc33 100644
--- a/.github/workflows/fstar-master-build.yml
+++ b/.github/workflows/fstar-master-build.yml
@@ -20,7 +20,7 @@ on:
       fstar_ref:
         description: FStar ref to checkout and build
         required: false
-        default: master
+        default: _nik_higher_order_smt
       fstar_opam_switch:
         description: OCaml switch for FStar build
         required: false
@@ -28,7 +28,7 @@ on:
       fstar_otherflags:
         description: "Extra FStar OTHERFLAGS"
         required: false
-        default: "--split_queries --log_failing_queries"
+        default: "--split_queries --log_failing_queries --ext higher_order_smt --proof_recovery"
       discussion_category:
         description: Discussion category name
         required: false