ci: remove options no longer needed (#474)

This commit is contained in:
Shohei Ueda 2020-11-23 13:48:24 +09:00 committed by GitHub
parent 21d2e6ea58
commit ff64ad3cd4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 5 deletions

View File

@ -11,11 +11,6 @@ jobs:
runs-on: ubuntu-18.04
steps:
- uses: actions/checkout@v2
with:
fetch-depth: 2
- run: git checkout HEAD^2
if: ${{ github.event_name == 'pull_request' }}
- name: Initialize CodeQL
uses: github/codeql-action/init@v1