add analysis

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

.github/workflows/codeql-analysis.yml

@@ -1,12 +1,9 @@
 name: "CodeQL"
 
 on:
-  push:
-    branches: [ master ]
-  pull_request:
-    branches: [ master ]
   schedule:
-    - cron: '0 0 * * 0'
+    - cron: '0 0 */2 * *'
+
 
 jobs:
   analyze: