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 04872339e2
commit 6fbc0d525b

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 }}"