it's hard to keep secrets

This commit is contained in:
rusefi 2024-04-29 08:37:17 -04:00
parent 1eb46126cb
commit cdb4e24e6a
1 changed files with 3 additions and 3 deletions

View File

@ -16,11 +16,11 @@ jobs:
- name: Set Token
run: |
if ! [[ -z "${{ inputs.token }}" ]]; then
echo "Token was specified"
echo "Got token input (is that even possible?)"
echo "TOKEN=${{ inputs.token }}" >> "$GITHUB_ENV"
else
echo "Using default token"
echo "TOKEN=${{ github.token }}" >> "$GITHUB_ENV"
echo "Using current secret"
echo "TOKEN=${{ secrets.MY_REPO_PAT }}" >> "$GITHUB_ENV"
fi
- uses: actions/checkout@v4