Merge pull request #42 from JohnTitor/ght-opt

Make GitHub token optional
This commit is contained in:
Takayuki Nakata 2023-01-30 22:22:51 +09:00 committed by GitHub
commit 0076c0c7bd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -29,7 +29,7 @@ jobs:
### `github_token` ### `github_token`
**Required**. Default is `${{ github.token }}`. Optional. Default is `${{ github.token }}`.
### `clippy_flags` ### `clippy_flags`

View file

@ -7,7 +7,7 @@ branding:
inputs: inputs:
github_token: github_token:
description: "GITHUB_TOKEN." description: "GITHUB_TOKEN."
required: true required: false
default: ${{ github.token }} default: ${{ github.token }}
clippy_flags: clippy_flags:
description: "clippy flags. (cargo clippy --color never -q --message-format json `<clippy_flags>`)" description: "clippy flags. (cargo clippy --color never -q --message-format json `<clippy_flags>`)"