Skip to content

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Jun 9, 2023

This is an automatic backport of pull request #897 done by Mergify.


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

(cherry picked from commit af4af62)
@mtreinish mtreinish added the automerge Queue a approved PR for merging label Jun 9, 2023
@coveralls
Copy link

Pull Request Test Coverage Report for Build 5225585430

  • 2 of 2 (100.0%) changed or added relevant lines in 1 file are covered.
  • 1 unchanged line in 1 file lost coverage.
  • Overall coverage remained the same at 96.443%

Files with Coverage Reduction New Missed Lines %
rustworkx-core/src/connectivity/all_simple_paths.rs 1 97.44%
Totals Coverage Status
Change from base Build 5203090082: 0.0%
Covered Lines: 14993
Relevant Lines: 15546

💛 - Coveralls

@mergify mergify bot merged commit da5fd17 into stable/0.13 Jun 9, 2023
@mergify mergify bot deleted the mergify/bp/stable/0.13/pr-897 branch June 9, 2023 20:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge Queue a approved PR for merging
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants