Skip to content

Fix extraneous index:: in docs #17

Fix extraneous index:: in docs

Fix extraneous index:: in docs #17

Workflow file for this run

name: "Documentation"
on:
pull_request:
branches:
- "*.x"
paths:
- ".github/workflows/documentation.yml"
- "docs/**"
push:
branches:
- "*.x"
paths:
- ".github/workflows/documentation.yml"
- "docs/**"
jobs:
documentation:
name: "Documentation"
uses: "doctrine/.github/.github/workflows/[email protected]"