chore: deploy through github internal pipeline

This commit is contained in:
Matthias
2024-08-20 21:19:26 +02:00
parent a7e2bf071b
commit 19ccb27dbd
2 changed files with 0 additions and 52 deletions

View File

@@ -53,12 +53,3 @@ jobs:
- name: Show mike versions
run: |
mike list
# deploy-to-gha:
# needs: build-docs
# permissions:
# contents: read
# pages: write
# id-token: write
# uses: ./.github/workflows/deploy-to-gha.yml