-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
Merge main into v1
- Loading branch information
There are no files selected for viewing
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,26 @@ | ||
name: "CodeQL runner" | ||
|
||
on: [push, pull_request] | ||
|
||
jobs: | ||
build: | ||
runs-on: ubuntu-latest | ||
|
||
steps: | ||
- uses: actions/checkout@v2 | ||
|
||
- name: Build runner | ||
run: | | ||
cd runner | ||
npm install | ||
npm run build-runner | ||
- name: Upload with runner | ||
run: | | ||
runner/dist/codeql-runner-linux upload \ | ||
--sarif-file src/testdata/empty-sarif.sarif \ | ||
--repository $GITHUB_REPOSITORY \ | ||
--commit $GITHUB_SHA \ | ||
--ref $GITHUB_REF \ | ||
--github-url $GITHUB_API_URL \ | ||
--github-auth ${{ github.token }} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,2 @@ | ||
/cli/ | ||
|
||
/runner/dist/ | ||
/runner/node_modules/ |
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
This file was deleted.
This file was deleted.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.