From 253a7245d0aeb129f5823fe3a62e1292ea4222af Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 28 Sep 2025 13:05:04 +0300
Subject: [PATCH] add analysis

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .github/workflows/codeql-analysis.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
index 5738a05b6..397145536 100644
--- a/.github/workflows/codeql-analysis.yml
+++ b/.github/workflows/codeql-analysis.yml
@@ -1,8 +1,7 @@
 name: "CodeQL"
 
 on:
-  schedule:
-    - cron: '0 0 */2 * *'
+  workflow_dispatch:
 
 
 jobs: