1
0
mirror of synced 2024-11-21 21:06:07 +03:00

fix phpDocumentor pipeline & pin phar version

This commit is contained in:
Pavel 2023-11-27 15:32:27 +03:00
parent 37069e8cdd
commit c10f2d3d47

View File

@ -8,7 +8,7 @@ on:
- 'v*' - 'v*'
jobs: jobs:
test: documentation:
name: "phpDocumentor" name: "phpDocumentor"
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
@ -20,11 +20,11 @@ jobs:
- name: Check out code into the workspace - name: Check out code into the workspace
if: success() && ${{ github.ref != 'refs/heads/master' }} if: success() && ${{ github.ref != 'refs/heads/master' }}
uses: actions/checkout@v2 uses: actions/checkout@v2
- name: Setup PHP 7.4 - name: Setup PHP 8.3
if: ${{ github.ref != 'refs/heads/master' }} if: ${{ github.ref != 'refs/heads/master' }}
uses: shivammathur/setup-php@v2 uses: shivammathur/setup-php@v2
with: with:
php-version: "7.4" php-version: "8.3"
- name: Cache phpDocumentor - name: Cache phpDocumentor
id: cache-phpdocumentor id: cache-phpdocumentor
uses: actions/cache@v2 uses: actions/cache@v2
@ -33,7 +33,7 @@ jobs:
key: phpdocumentor key: phpdocumentor
- name: Download latest phpDocumentor - name: Download latest phpDocumentor
if: steps.cache-phpdocumentor.outputs.cache-hit != 'true' if: steps.cache-phpdocumentor.outputs.cache-hit != 'true'
run: curl -O -L https://phpdoc.org/phpDocumentor.phar run: curl -O -L https://github.com/phpDocumentor/phpDocumentor/releases/download/v3.4.3/phpDocumentor.phar
- name: Generate documentation - name: Generate documentation
if: ${{ github.ref != 'refs/heads/master' }} if: ${{ github.ref != 'refs/heads/master' }}
run: php phpDocumentor.phar run: php phpDocumentor.phar