1name: Docs 2on: 3 push: 4 branches: 5 - master 6 paths: 7 - docs/** 8 pull_request: 9 paths: 10 - docs/** 11jobs: 12 pages: 13 runs-on: ubuntu-22.04 14 permissions: 15 pages: write 16 id-token: write 17 if: github.repository == 'php/php-src' 18 steps: 19 - name: git checkout 20 uses: actions/checkout@v4 21 - name: Install dependencies 22 run: pip install sphinx-design sphinxawesome-theme rstfmt 23 - name: Check formatting 24 run: rstfmt --check -w 100 docs/source 25 - name: Publish 26 if: github.event_name == 'push' 27 uses: sphinx-notes/pages@v3 28 with: 29 checkout: false 30 documentation_path: docs/source 31
