mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-04-03 04:27:39 -04:00
Make the Github token optional (#1390)
A default is useless when the variable is required.
This commit is contained in:
parent
fb2ab8d575
commit
e365da1b12
1 changed files with 1 additions and 1 deletions
2
.github/workflows/auto-release.yml
vendored
2
.github/workflows/auto-release.yml
vendored
|
|
@ -17,7 +17,7 @@ on:
|
||||||
default: ''
|
default: ''
|
||||||
github_token:
|
github_token:
|
||||||
description: 'GitHub token for creating releases and pushing changes'
|
description: 'GitHub token for creating releases and pushing changes'
|
||||||
required: true
|
required: false
|
||||||
default: ${{ github.token }}
|
default: ${{ github.token }}
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue