Removed obsolete tokens

Signed-off-by: Christian Wolf <github@christianwolf.email>
This commit is contained in:
Christian Wolf 2021-11-26 07:52:29 +01:00
parent 0fc59f5c29
commit 72bf4dfdc8

View File

@ -17,7 +17,6 @@ jobs:
docs-folder: "user_manual/"
pre-build-command: pip install -r requirements.txt
build-command: make html
repo-token: "${{ secrets.GITHUB_TOKEN }}"
developer_manual:
runs-on: ubuntu-latest
steps:
@ -27,7 +26,6 @@ jobs:
docs-folder: "developer_manual/"
pre-build-command: pip install -r requirements.txt
build-command: make html
repo-token: "${{ secrets.GITHUB_TOKEN }}"
admin_manual:
runs-on: ubuntu-latest
steps:
@ -37,4 +35,3 @@ jobs:
docs-folder: "admin_manual/"
pre-build-command: pip install -r requirements.txt
build-command: make html
repo-token: "${{ secrets.GITHUB_TOKEN }}"