Make GitHub token optional

Signed-off-by: Yuki Okushi <jtitor@2k36.org>
This commit is contained in:
Yuki Okushi 2023-01-28 00:54:01 +09:00
parent 13b9d32482
commit b6e5c56e27
No known key found for this signature in database
2 changed files with 2 additions and 2 deletions

View file

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

View file

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