From fcd335f8234541b35eadd52200bbf1ec9de715af Mon Sep 17 00:00:00 2001 From: Thomas Debesse Date: Wed, 15 May 2024 13:34:56 +0200 Subject: [PATCH] f --- .github/workflows/codeql.yml | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index c7bf9c65..292a604b 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -1,22 +1,9 @@ name: "CodeQL" -# on: push: - paths: - - .github/workflows/ - # To keep in sync with other CI configurations, only directories. - - crnlib/ - - crunch/ - - inc/ branches: [ "master" ] pull_request: - paths: - - .github/workflows/ - # To keep in sync with other CI configurations, only directories. - - crnlib/ - - crunch/ - - inc/ branches: [ "master" ] schedule: - cron: '19 10 5 * *'