2020-08-24 18:57:30 +02:00
|
|
|
name: "CodeQL"
|
|
|
|
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches: [develop, master]
|
|
|
|
pull_request:
|
|
|
|
# The branches below must be a subset of the branches above
|
|
|
|
branches: [develop]
|
|
|
|
schedule:
|
|
|
|
- cron: '0 13 * * 1'
|
|
|
|
|
2022-04-26 03:08:54 +02:00
|
|
|
permissions:
|
|
|
|
contents: read
|
|
|
|
|
2020-08-24 18:57:30 +02:00
|
|
|
jobs:
|
|
|
|
analyze:
|
2022-04-26 03:08:54 +02:00
|
|
|
permissions:
|
|
|
|
actions: read # for github/codeql-action/init to get workflow details
|
|
|
|
contents: read # for actions/checkout to fetch code
|
|
|
|
security-events: write # for github/codeql-action/autobuild to send a status report
|
2020-08-24 18:57:30 +02:00
|
|
|
name: Analyze
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2022-01-28 07:33:52 +01:00
|
|
|
-
|
|
|
|
name: Checkout repository
|
2022-03-01 23:17:16 +01:00
|
|
|
uses: actions/checkout@v3
|
2022-01-28 07:33:52 +01:00
|
|
|
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' }}
|
|
|
|
-
|
|
|
|
name: Initialize CodeQL
|
2022-05-03 02:49:26 +02:00
|
|
|
uses: github/codeql-action/init@v2
|
2022-01-28 07:33:52 +01:00
|
|
|
-
|
|
|
|
name: Autobuild
|
2022-05-03 02:49:26 +02:00
|
|
|
uses: github/codeql-action/autobuild@v2
|
2022-01-28 07:33:52 +01:00
|
|
|
-
|
|
|
|
name: Perform CodeQL Analysis
|
2022-05-03 02:49:26 +02:00
|
|
|
uses: github/codeql-action/analyze@v2
|