Merge pull request #6 from EricCrosson/3-add-default-value-for-the-the-github-token-input

Add default value for the the github-token input
This commit is contained in:
Ana Hobden 2023-01-31 08:19:07 -08:00 committed by GitHub
commit d5491adf01
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,7 +11,8 @@ inputs:
description: Extra args to pass to the planner (prefer using structured `with:` arguments unless using a custom planner!) description: Extra args to pass to the planner (prefer using structured `with:` arguments unless using a custom planner!)
required: false required: false
github-token: github-token:
description: A Github Token so that authenticated requests can be made (set this to `secrets.GITHUB_TOKEN`) description: A GitHub Token for making authenticated requests (which have a higher rate-limit quota than unauthenticated requests)
default: ${{ github.token }}
channels: channels:
description: Channel(s) to add (eg `nixpkgs=https://nixos.org/channels/nixpkgs-unstable`) description: Channel(s) to add (eg `nixpkgs=https://nixos.org/channels/nixpkgs-unstable`)
required: false required: false