diff options
| author | XhmikosR <[email protected]> | 2020-12-15 11:24:13 +0200 |
|---|---|---|
| committer | XhmikosR <[email protected]> | 2020-12-15 11:24:13 +0200 |
| commit | ea9c7e735b2593229a504d53e986eb38cacc7066 (patch) | |
| tree | 5a872f8f959232592bb0aa34cc5b4dbb7ecbc364 /.github/workflows | |
| parent | e5933330e1e3c363d240035d67f97ec094577d91 (diff) | |
| parent | cc3a5cf79a5afd73a97dce380f93e0d192a34456 (diff) | |
| download | bootstrap-rohit/main/modal-with-sticky.tar.xz bootstrap-rohit/main/modal-with-sticky.zip | |
Merge remote-tracking branch 'remotes/origin/main' into rohit/main/modal-with-stickyrohit/main/modal-with-sticky
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/codeql.yml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index f9dccfce0..469a5a4fc 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -22,15 +22,6 @@ jobs: 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 |