From cf6c8810ee754e5a315619d40fdfc086469e030a Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Thu, 19 Mar 2026 14:52:29 -0700
Subject: [PATCH] Update qf-s-benchmark to run twice daily at midnight and noon
 UTC (#9047)

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/qf-s-benchmark.lock.yml | 3 +--
 .github/workflows/qf-s-benchmark.md       | 3 ++-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/qf-s-benchmark.lock.yml b/.github/workflows/qf-s-benchmark.lock.yml
index 6d18b7a44..724904b33 100644
--- a/.github/workflows/qf-s-benchmark.lock.yml
+++ b/.github/workflows/qf-s-benchmark.lock.yml
@@ -28,8 +28,7 @@
 name: "Qf S Benchmark"
 "on":
   schedule:
-  - cron: "16 3 * * 3"
-    # Friendly format: weekly (scattered)
+  - cron: "0 0,12 * * *"
   workflow_dispatch:
 
 permissions: {}
diff --git a/.github/workflows/qf-s-benchmark.md b/.github/workflows/qf-s-benchmark.md
index 8bf74de0d..48db061a7 100644
--- a/.github/workflows/qf-s-benchmark.md
+++ b/.github/workflows/qf-s-benchmark.md
@@ -2,7 +2,8 @@
 description: Run Z3 string solver benchmarks (seq vs nseq) on QF_S test suite from the c3 branch and post results as a GitHub discussion
 
 on:
-  schedule: weekly
+  schedule:
+    - cron: "0 0,12 * * *"
   workflow_dispatch:
 
 permissions: read-all