vshmidt/php: The PHP Interpreter

.github/workflows/docs.yml

30 строк695 B

Jakub Zelenka

CI: Skip building docs if GitHub repository is not php-src (#14006)

19 апр 2024, 18:44

19 апр 2024, 18:44edb13b6

name: Docs
on:
  push:
    branches:
      - master
    paths:
      - docs/**
  pull_request:
    paths:
      - docs/**
jobs:
  pages:
    runs-on: ubuntu-22.04
    permissions:
      pages: write
      id-token: write
    if: github.repository == 'php/php-src'
    steps:
      - name: git checkout
        uses: actions/checkout@v4
      - name: Install dependencies
        run: pip install sphinx-design sphinxawesome-theme rstfmt
      - name: Check formatting
        run: rstfmt --check -w 100 docs/source
      - name: Publish
        if: github.event_name == 'push'
        uses: sphinx-notes/pages@v3
        with:
          checkout: false
          documentation_path: docs/source