Skip to content

Fix typo in docs announcement banners (backport #11138)#11140

Merged
jakelishman merged 1 commit into
stable/0.45from
mergify/bp/stable/0.45/pr-11138
Oct 30, 2023
Merged

Fix typo in docs announcement banners (backport #11138)#11140
jakelishman merged 1 commit into
stable/0.45from
mergify/bp/stable/0.45/pr-11138

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Oct 29, 2023

This is an automatic backport of pull request #11138 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

@mergify mergify Bot requested a review from a team as a code owner October 29, 2023 22:03
@qiskit-bot
Copy link
Copy Markdown
Collaborator

Thank you for opening a new pull request.

Before your PR can be merged it will first need to pass continuous integration tests and be reviewed. Sometimes the review process can be slow, so please be patient.

While you're waiting, please feel free to review other open PRs. While only a subset of people are authorized to approve pull requests for merging, everyone is encouraged to review open pull requests. Doing reviews helps reduce the burden on the core team and helps make the project's code better for everyone.

One or more of the the following people are requested to review this:

@github-actions github-actions Bot added documentation Something is not clear or an error documentation Changelog: None Do not include in the GitHub Release changelog. labels Oct 29, 2023
@coveralls
Copy link
Copy Markdown

Pull Request Test Coverage Report for Build 6686020945

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • 4 unchanged lines in 2 files lost coverage.
  • Overall coverage increased (+0.01%) to 86.894%

Files with Coverage Reduction New Missed Lines %
crates/qasm2/src/expr.rs 1 93.76%
crates/qasm2/src/lex.rs 3 91.41%
Totals Coverage Status
Change from base Build 6673628105: 0.01%
Covered Lines: 73883
Relevant Lines: 85027

💛 - Coveralls

@jakelishman jakelishman enabled auto-merge October 29, 2023 22:46
@jakelishman jakelishman added this pull request to the merge queue Oct 29, 2023
Merged via the queue into stable/0.45 with commit b563476 Oct 30, 2023
@mergify mergify Bot deleted the mergify/bp/stable/0.45/pr-11138 branch October 30, 2023 00:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Changelog: None Do not include in the GitHub Release changelog. documentation Something is not clear or an error documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants