Skip to content

Added different message to distinguish between two cases: #2105

Added different message to distinguish between two cases:

Added different message to distinguish between two cases: #2105

name: "documentation check"
on:
pull_request: ~
push: ~
jobs:
doc-check:
name: "documentation check"
runs-on: "ubuntu-latest"
steps:
- name: "checkout"
uses: "actions/checkout@v4"
- name: "installing PHP"
uses: "shivammathur/setup-php@v2"
with:
php-version: "8.3"
ini-values: memory_limit=-1
tools: composer:v2, cs2pr
extensions: bcmath, mbstring, intl, sodium, json
- name: "installing dependencies"
run: |
make install -j10 -O
- name: "checking if documentation is up-to-date."
run: "php docs/documenter.php check"