Skip to content

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Oct 26, 2024

This PR contains the following updates:

Package Update Change
php/php-src patch 8.3.12 -> 8.3.13

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.


Release Notes

php/php-src (php/php-src)

v8.3.13

Compare Source


Configuration

📅 Schedule: Branch creation - "after 4pm on friday,before 9am on monday,every weekend" in timezone Europe/Paris, Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate bot requested a review from a team as a code owner October 26, 2024 15:45
@renovate renovate bot requested review from millotp and shortcuts and removed request for a team October 26, 2024 15:45
@algolia-bot
Copy link
Collaborator

algolia-bot commented Oct 26, 2024

🪓 The generated code will be pushed at the end of the CI.

Action triggered by commit 7967aa821e7d2e37d1411dc3e12daab75e7ad0ee.

Please do not push any generated code to this pull request.

@renovate renovate bot force-pushed the renovate/php-php-src-8.x branch 3 times, most recently from d4743c4 to 0d48cff Compare October 26, 2024 16:14
@renovate renovate bot force-pushed the renovate/php-php-src-8.x branch from 0d48cff to 777d77f Compare October 26, 2024 16:20
@renovate renovate bot merged commit f8b2f63 into chore/renovateBaseBranch Oct 26, 2024
1 check passed
@renovate renovate bot deleted the renovate/php-php-src-8.x branch October 26, 2024 16:22
algolia-bot added a commit that referenced this pull request Oct 26, 2024
…ted)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants