2020-10-23 02:43:28 +02:00
|
|
|
name: "Code scanning"
|
2020-06-25 20:29:26 +02:00
|
|
|
|
2020-07-08 01:37:07 +02:00
|
|
|
on: [push, pull_request]
|
2020-06-25 20:29:26 +02:00
|
|
|
|
|
|
|
|
jobs:
|
2020-07-07 20:07:13 +02:00
|
|
|
CodeQL:
|
2020-06-25 20:29:26 +02:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
|
|
steps:
|
2020-10-13 23:50:18 +02:00
|
|
|
- name: Check out repository
|
2020-07-01 21:19:49 +02:00
|
|
|
uses: actions/checkout@v2
|
|
|
|
|
with:
|
|
|
|
|
# We must fetch at least the immediate parents so that if this is
|
2020-10-13 23:50:18 +02:00
|
|
|
# a pull request then we can check out the head.
|
2020-07-01 21:19:49 +02:00
|
|
|
fetch-depth: 2
|
2020-06-25 20:29:26 +02:00
|
|
|
|
2020-10-13 23:50:18 +02:00
|
|
|
# If this run was triggered by a pull request event, then check out
|
2020-07-01 21:19:49 +02:00
|
|
|
# the head of the pull request instead of the merge commit.
|
|
|
|
|
- run: git checkout HEAD^2
|
|
|
|
|
if: ${{ github.event_name == 'pull_request' }}
|
2020-06-25 20:29:26 +02:00
|
|
|
|
2020-07-01 21:19:49 +02:00
|
|
|
# Initializes the CodeQL tools for scanning.
|
|
|
|
|
- name: Initialize CodeQL
|
|
|
|
|
uses: github/codeql-action/init@v1
|
2020-06-25 20:29:26 +02:00
|
|
|
|
2020-07-01 21:19:49 +02:00
|
|
|
# Override language selection by uncommenting this and choosing your languages
|
|
|
|
|
# with:
|
|
|
|
|
# languages: go, javascript, csharp, python, cpp, java
|
|
|
|
|
- name: Perform CodeQL Analysis
|
|
|
|
|
uses: github/codeql-action/analyze@v1
|
