Skip to content

Conversation

@pulumi-bot
Copy link
Contributor

Combining multiple dependencies PRs into one.

Instructions for merging
  • Use a merge commit, so that GitHub will mark all original PRs as merged.
  • If your repository does not have merge commits enabled, please temporarily enable them in settings. Tick Allow merge commits in the repository settings.
  • When ready, merge this PR using Create a merge commit.

Combined PRs

@pulumi-bot pulumi-bot added impact/no-changelog-required This issue doesn't require a CHANGELOG update dependencies Pull requests that update a dependency file labels May 17, 2025
@pulumi-bot pulumi-bot enabled auto-merge May 17, 2025 04:06
@github-actions
Copy link

Does the PR have any schema changes?

Looking good! No breaking changes found.
No new resources/functions.

Maintainer note: consult the runbook for dealing with any breaking changes.

@codecov
Copy link

codecov bot commented May 17, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 24.31%. Comparing base (221c8a2) to head (ce0f220).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #5543   +/-   ##
=======================================
  Coverage   24.31%   24.31%           
=======================================
  Files         365      365           
  Lines      147037   147037           
=======================================
  Hits        35754    35754           
  Misses     111185   111185           
  Partials       98       98           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@pulumi-bot pulumi-bot closed this May 21, 2025
auto-merge was automatically disabled May 21, 2025 04:08

Pull request was closed

@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch from ce0f220 to 05c9362 Compare May 21, 2025 04:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file impact/no-changelog-required This issue doesn't require a CHANGELOG update

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants