[PR #11] [MERGED] chore(deps): pin dependencies #31
Labels
No labels
pull-request
released
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
webgrip/infrastructure#31
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
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/webgrip/infrastructure/pull/11
Author: @webgrip-renovate[bot]
Created: 2/20/2026
Status: ✅ Merged
Merged: 2/24/2026
Merged by: @Ryangr0
Base:
main← Head:renovate/application-container-images📝 Commits (1)
4206862chore(deps): pin dependencies📊 Changes
1 file changed (+1 additions, -1 deletions)
View changed files
📝
ops/docker/php-ci-runner/Dockerfile(+1 -1)📄 Description
This PR contains the following updates:
5373f198.4-cli→8.5-cli1.87.0-slim-bookworm→1.93.1-slim-bookwormConfiguration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.
This PR has been generated by Renovate Bot.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.