Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rj/clippy #664

Merged
merged 5 commits into from
Dec 20, 2022
Merged

Rj/clippy #664

merged 5 commits into from
Dec 20, 2022

Conversation

jordens
Copy link
Member

@jordens jordens commented Dec 20, 2022

No description provided.

@jordens
Copy link
Member Author

jordens commented Dec 20, 2022

bors r+

bors bot added a commit that referenced this pull request Dec 20, 2022
663: build(deps): bump paste from 1.0.10 to 1.0.11 r=jordens a=dependabot[bot]

Bumps [paste](https://github.com/dtolnay/paste) from 1.0.10 to 1.0.11.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a href="https://github.com/dtolnay/paste/releases">paste's releases</a>.</em></p>
<blockquote>
<h2>1.0.11</h2>
<ul>
<li>Documentation improvements</li>
</ul>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/dtolnay/paste/commit/44d758d558c62bf08bfdef49159f30fe37a8c101"><code>44d758d</code></a> Release 1.0.11</li>
<li><a href="https://github.com/dtolnay/paste/commit/170add2e36b6ab951932ab496f6387d35d7f0018"><code>170add2</code></a> Update build status badge</li>
<li>See full diff in <a href="https://github.com/dtolnay/paste/compare/1.0.10...1.0.11">compare view</a></li>
</ul>
</details>
<br />


[![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=paste&package-manager=cargo&previous-version=1.0.10&new-version=1.0.11)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting ``@dependabot` rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

You can trigger Dependabot actions by commenting on this PR:
- ``@dependabot` rebase` will rebase this PR
- ``@dependabot` recreate` will recreate this PR, overwriting any edits that have been made to it
- ``@dependabot` merge` will merge this PR after your CI passes on it
- ``@dependabot` squash and merge` will squash and merge this PR after your CI passes on it
- ``@dependabot` cancel merge` will cancel a previously requested merge and block automerging
- ``@dependabot` reopen` will reopen this PR if it is closed
- ``@dependabot` close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- ``@dependabot` ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- ``@dependabot` ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- ``@dependabot` ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)


</details>

664: Rj/clippy r=jordens a=jordens



Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Robert Jördens <rj@quartiq.de>
@bors
Copy link
Contributor

bors bot commented Dec 20, 2022

Build failed (retrying...):

bors bot added a commit that referenced this pull request Dec 20, 2022
664: Rj/clippy r=jordens a=jordens



Co-authored-by: Robert Jördens <rj@quartiq.de>
@bors
Copy link
Contributor

bors bot commented Dec 20, 2022

Canceled.

@jordens
Copy link
Member Author

jordens commented Dec 20, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Dec 20, 2022

Build succeeded:

@bors bors bot merged commit 183a832 into master Dec 20, 2022
@bors bors bot deleted the rj/clippy branch December 20, 2022 11:31
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.

1 participant