From 32e50e014ee2549dad5e725b6173404bccb4f665 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 9 Jun 2026 06:58:11 -0700 Subject: [PATCH] Update default fstar_otherflags for build workflow --- .github/workflows/fstar-master-build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/fstar-master-build.yml b/.github/workflows/fstar-master-build.yml index 02a2767d4..8d347be5d 100644 --- a/.github/workflows/fstar-master-build.yml +++ b/.github/workflows/fstar-master-build.yml @@ -28,7 +28,7 @@ on: fstar_otherflags: description: "Extra FStar OTHERFLAGS" required: false - default: "--split_queries --log_failing_queries --ext higher_order_smt --proof_recovery" + default: "--split_queries on_failure --log_failing_queries --ext higher_order_smt --proof_recovery" discussion_category: description: Discussion category name required: false