mirror of
https://github.com/doctrine/orm.git
synced 2026-03-24 06:52:09 +01:00
[PR #12257] [MERGED] Bump doctrine/.github from 12.1.0 to 12.2.0 #13624
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/12257
Author: @dependabot[bot]
Created: 11/3/2025
Status: ✅ Merged
Merged: 11/3/2025
Merged by: @greg0ire
Base:
2.20.x← Head:dependabot/github_actions/2.20.x/doctrine/dot-github-12.2.0📝 Commits (1)
c8ebea7Bump doctrine/.github from 12.1.0 to 12.2.0📊 Changes
4 files changed (+4 additions, -4 deletions)
View changed files
📝
.github/workflows/coding-standards.yml(+1 -1)📝
.github/workflows/composer-lint.yml(+1 -1)📝
.github/workflows/documentation.yml(+1 -1)📝
.github/workflows/release-on-milestone-closed.yml(+1 -1)📄 Description
Bumps doctrine/.github from 12.1.0 to 12.2.0.
Release notes
Sourced from doctrine/.github's releases.
Commits
3ac9f73Merge pull request #75 from doctrine/php-docs-versionaf54604Set php version to the same as websiteadc2801Merge pull request #73 from doctrine/dependabot/github_actions/actions/upload...b4f9bf6Merge pull request #74 from doctrine/dependabot/github_actions/actions/downlo...0e365eaBump actions/download-artifact from 5 to 60a660bbBump actions/upload-artifact from 4 to 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.