Remove CodeQL until I can figure out how to run it locally

master
Nicolas Favre-Felix 4 years ago
parent 6e9b37a1c2
commit f9890be2c7
No known key found for this signature in database
GPG Key ID: C04E7AA8B6F73372

@ -1,38 +0,0 @@
name: "Code scanning with CodeQL - action"
on:
push:
branches: [master, docker-compose]
pull_request:
# The branches below must be a subset of the branches above
branches: [master]
schedule:
- cron: '0 21 * * 0'
jobs:
CodeQL-Build:
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 check out
# 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
# Override language selection by uncommenting this and choosing your languages
with:
languages: cpp
- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v1
Loading…
Cancel
Save