mirror of
https://github.com/php/php-src.git
synced 2026-03-27 01:32:22 +01:00
1db177b696
* PHP-8.4: Update GitHub Action workflows to `actions/upload-artifact@v6` Update GitHub Action workflows to `actions/labeler@v6` Update GitHub Action workflows to `actions/checkout@v6` (8.4) Update GitHub Action workflows to `actions/checkout@v6` (8.3) Update GitHub Action workflows to `actions/checkout@v6` (8.2) Update GitHub Action workflows to `actions/cache@v5` Update GitHub Action workflows to `actions/checkout@v6`
31 lines
675 B
YAML
31 lines
675 B
YAML
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@v6
|
|
- name: Install dependencies
|
|
run: pip install -r docs/requirements.txt
|
|
- name: Check formatting
|
|
run: make -C docs check-formatting
|
|
- name: Publish
|
|
if: github.event_name == 'push'
|
|
uses: sphinx-notes/pages@v3
|
|
with:
|
|
checkout: false
|
|
documentation_path: docs/source
|