mirror of
https://github.com/doctrine/orm.git
synced 2026-03-24 06:52:09 +01:00
[PR #12288] [MERGED] Bump doctrine/.github/.github/workflows/composer-lint.yml from 12.2.0 to 13.0.0 #13655
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/12288
Author: @dependabot[bot]
Created: 11/24/2025
Status: ✅ Merged
Merged: 11/24/2025
Merged by: @derrabus
Base:
2.20.x← Head:dependabot/github_actions/2.20.x/doctrine/dot-github/dot-github/workflows/composer-lint.yml-13.0.0📝 Commits (1)
7d3cd76Bump doctrine/.github/.github/workflows/composer-lint.yml📊 Changes
1 file changed (+1 additions, -1 deletions)
View changed files
📝
.github/workflows/composer-lint.yml(+1 -1)📄 Description
Bumps doctrine/.github/.github/workflows/composer-lint.yml from 12.2.0 to 13.0.0.
Release notes
Sourced from doctrine/.github/.github/workflows/composer-lint.yml's releases.
Commits
5f43313Merge pull request #76 from derrabus/improvement/php-8.5371e87fBump workflows to PHP 8.5Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.