Skip to content

Auto Regenerate

Auto Regenerate #1587

name: "Auto Regenerate"
on:
schedule:
- cron: '0 3 * * *'
workflow_dispatch:
jobs:
auto-regenerate:
name: "Auto Regenerate"
runs-on: "ubuntu-24.04"
steps:
- name: "Checkout"
uses: "actions/checkout@v4"
- name: "Install PHP with extensions"
uses: "shivammathur/setup-php@v2"
with:
coverage: "pcov"
php-version: "8.3"
- name: "Check out salathe/phpdoc-base"
uses: "actions/checkout@v4"
with:
path: "generator/doc/doc-en/doc-base"
repository: "salathe/phpdoc-base"
- name: "Check out php/doc-en"
uses: "actions/checkout@v4"
with:
path: "generator/doc/doc-en/en"
repository: "php/doc-en"
- name: "Install dependencies with composer in generator/ directory"
run: "composer install --no-interaction"
working-directory: "generator"
- name: "Install dependencies with composer in root/ directory"
run: "composer install --no-interaction"
- name: "Dump autoloader with composer in root directory"
run: "composer dump-autoload"
- name: "Regenerate files"
id: regen
run: "./safe.php generate && git diff --exit-code && (echo regen=no-diff >> $GITHUB_OUTPUT) || (echo regen=diff >> $GITHUB_OUTPUT)"
working-directory: "generator"
- name: "Create a pr if the files are different"
if: "${{ steps.regen.outputs.regen == 'diff' }}"
uses: peter-evans/create-pull-request@v6
with:
commit-message: "Automatically regenerate the files"
branch: create-pull-request/regenerate-files
title: "Automatically regenerate the files"
labels: "regenerate, auto"
assignees: "shish, OskarStark, silasjoisten, moufmouf"