Skip to content

Commit 253a724

Browse files
NikolajBjornerNikolajBjorner
committed
add analysis
Signed-off-by: Nikolaj Bjorner <[email protected]>
1 parent b5f79da commit 253a724

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

‎.github/workflows/codeql-analysis.yml‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,7 @@
11
name: "CodeQL"
22

33
on:
4-
schedule:
5-
- cron: '0 0 */2 * *'
4+
workflow_dispatch:
65

76

87
jobs:

0 commit comments

Comments
 (0)