rename CLI to runner

This commit is contained in:
Robert Brignull
2020-08-24 14:21:03 +01:00
parent fe756603d9
commit 09677dada5
23 changed files with 56 additions and 56 deletions

26
.github/workflows/runner.yml vendored Normal file
View File

@@ -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 }}