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 Jun 13, 2025
@pulumi-bot pulumi-bot enabled auto-merge June 13, 2025 04:12
@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 Jun 13, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 24.47%. Comparing base (d08a0bc) to head (0097ee5).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #5603   +/-   ##
=======================================
  Coverage   24.47%   24.47%           
=======================================
  Files         366      366           
  Lines      147857   147857           
=======================================
  Hits        36181    36181           
  Misses     111577   111577           
  Partials       99       99           

☔ 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 Jun 17, 2025
auto-merge was automatically disabled June 17, 2025 04:11

Pull request was closed

@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch from 0097ee5 to a2b15e7 Compare June 17, 2025 04:11
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