mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
[PR #12226] [CLOSED] Change phpdocumentor version constraint #13596
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/doctrine/orm/pull/12226
Author: @greg0ire
Created: 10/18/2025
Status: ❌ Closed
Base:
2.20.x← Head:phpdocumentor-1.9📝 Commits (3)
63147a3Use doctrine/.github v12e3743ebChange phpdocumentor version constraintf78250dAddress coding standard issue📊 Changes
5 files changed (+8 additions, -5 deletions)
View changed files
📝
.github/workflows/coding-standards.yml(+1 -1)📝
.github/workflows/documentation.yml(+1 -1)📝
.github/workflows/release-on-milestone-closed.yml(+1 -1)📝
docs/composer.json(+2 -2)📝
tests/Tests/ORM/Functional/Ticket/GH12174Test.php(+3 -0)📄 Description
It should be less maintenance if we do not pin it down too much, and it is closes to what the website uses.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.