Skip to content
Permalink
e35c90f53d
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
View runs Go to file
Latest commit 2909e97 Jun 1, 2020 History
0 contributors

Users who have contributed to this file

28 lines (23 sloc) 763 Bytes
name: "CodeQL action"
on: [push, pull_request]
jobs:
build:
strategy:
matrix:
os: [ubuntu-latest,windows-latest,macos-latest]
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v1
with:
# Must fetch at least the immediate parents so that if this is
# a pull request then we can checkout the head of the pull request.
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' }}
- uses: ./init
with:
languages: javascript
config-file: ./.github/codeql/codeql-config.yml
- uses: ./analyze