mirrors/django-components
1
0
Fork 0
mirror of https://github.com/django-components/django-components.git synced 2025-08-21 14:40:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #606 from dalito/docs-at-gh-pages

Browse source 
Fix docs deployment to gh-pages.
This commit is contained in:
Emil Stenström 2024-08-25 10:45:26 +02:00 • committed by GitHub
commit a1cd97ceda
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
.github/workflows/docs.yml vendored
View file

@ -14,8 +14,11 @@ on:
jobs: jobs:
docs: docs:
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions: permissions:
contents: write contents: write # to let mkdocs write the new docs
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
runs-on: ubuntu-latest runs-on: ubuntu-latest
if: github.ref == 'refs/heads/master' && github.repository_owner == 'EmilStenstrom' if: github.ref == 'refs/heads/master' && github.repository_owner == 'EmilStenstrom'
steps: steps:
@ -39,7 +42,8 @@ jobs:
- name: "Check for mkdocs build --strict" - name: "Check for mkdocs build --strict"
# XXX Enable strict mode once docs are clean # XXX Enable strict mode once docs are clean
run: | run: |
hatch run docs:build # --strict hatch run docs:build
# hatch run docs:build --strict
# If pull request or not master branch and not a tag # If pull request or not master branch and not a tag
if: github.event_name == 'pull_request' || (github.event_name == 'push' && github.ref != 'refs/heads/master' && !startsWith(github.ref, 'refs/tags/')) || github.event_name == 'workflow_dispatch' if: github.event_name == 'pull_request' || (github.event_name == 'push' && github.ref != 'refs/heads/master' && !startsWith(github.ref, 'refs/tags/')) || github.event_name == 'workflow_dispatch'