mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
address review comments
This commit is contained in:
15
.github/workflows/generate-query-help-docs.yml
vendored
15
.github/workflows/generate-query-help-docs.yml
vendored
@@ -6,29 +6,18 @@ on:
|
||||
description:
|
||||
description: A description of the purpose of this job. For human consumption.
|
||||
required: false
|
||||
ref:
|
||||
description: The branch in github/codeql to checkout when generating query help.
|
||||
required: false
|
||||
default: 'lgtm.com'
|
||||
push:
|
||||
branches:
|
||||
- 'lgtm.com'
|
||||
pull_request:
|
||||
paths:
|
||||
- 'docs/codeql/query-help/**'
|
||||
|
||||
|
||||
jobs:
|
||||
build:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- if: github.event.inputs.ref
|
||||
name: Clone github/codeql (user defined ref)
|
||||
uses: actions/checkout@v2
|
||||
with:
|
||||
path: codeql
|
||||
ref: ${{ github.event.inputs.ref }}
|
||||
- if: github.event.inputs.ref == ''
|
||||
name: Clone github/codeql (default ref)
|
||||
- name: Clone github/codeql
|
||||
uses: actions/checkout@v2
|
||||
with:
|
||||
path: codeql
|
||||
|
||||
Reference in New Issue
Block a user