commit 0117ad3ff8a1354e0c6af3ebe2435c9bd5c4483a parent b52f6d20817fd850144b087bcc668407947dfb1a Author: Rolf Eike Beer <eike@sf-mail.de> Date: Wed, 5 Aug 2020 21:43:52 +0200 GitHub: enable codescan [ci skip] Diffstat:
| A | .github/workflows/codeql-analysis.yml | | | 38 | ++++++++++++++++++++++++++++++++++++++ |
1 file changed, 38 insertions(+), 0 deletions(-)
diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml @@ -0,0 +1,38 @@ +name: "CodeQL" + +on: + push: + branches: [master, ] + pull_request: + # The branches below must be a subset of the branches above + branches: [master] + schedule: + - cron: '0 18 * * 2' + +jobs: + analyse: + name: Analyse + runs-on: ubuntu-latest + + steps: + - name: Checkout repository + uses: actions/checkout@v2 + with: + # We must fetch at least the immediate parents so that if this is + # a pull request then we can checkout the head. + fetch-depth: 2 + + # If this run was triggered by a pull request event, then checkout + # the head of the pull request instead of the merge commit. + - run: git checkout HEAD^2 + if: ${{ github.event_name == 'pull_request' }} + + # Initializes the CodeQL tools for scanning. + - name: Initialize CodeQL + uses: github/codeql-action/init@v1 + + - run: | + make it + + - name: Perform CodeQL Analysis + uses: github/codeql-action/analyze@v1