diff --git a/.github/workflows/auto-release.yml b/.github/workflows/auto-release.yml index d0860e5b79..9abc18a8c7 100644 --- a/.github/workflows/auto-release.yml +++ b/.github/workflows/auto-release.yml @@ -38,14 +38,17 @@ jobs: fetch-depth: 0 - name: Release + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + ACTOR: ${{ github.actor }} + COMMIT_ID: ${{ github.event.inputs.commit_id }} + VERSION_NUMBER: ${{ github.event.inputs.version_number }} run: | # Configure repo for push - git config --global user.name ${{ github.actor }} - git config --global user.email ${{ github.actor }}@users.noreply.github.com + git config --global user.name "$ACTOR" + git config --global user.email "$ACTOR"@users.noreply.github.com # Run the release script pip install -r ./tools/.github/scripts/release-requirements.txt - ./tools/.github/scripts/release.py FreeRTOS --core-repo-path=local_core --core-commit=${{ github.event.inputs.commit_id }} --new-core-version=${{ github.event.inputs.version_number }} + ./tools/.github/scripts/release.py FreeRTOS --core-repo-path=local_core --core-commit="$COMMIT_ID" --new-core-version="$VERSION_NUMBER" exit $? - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}