Merge pull request 'update token name' (#1) from dev into main

Reviewed-on: #1
This commit was merged in pull request #1.
This commit is contained in:
2025-09-28 10:25:11 +01:00

View File

@@ -99,7 +99,7 @@ jobs:
- name: Push changes - name: Push changes
uses: ad-m/github-push-action@master uses: ad-m/github-push-action@master
with: with:
github_token: ${{ secrets.GITHUB_TOKEN }} github_token: ${{ secrets.TOKEN }}
branch: ${{ github.ref }} branch: ${{ github.ref }}
- name: Create release - name: Create release
id: create_release id: create_release