Skip to content

chore(clippy): moved clippy lints to Cargo.toml - #704

Merged
0xThemis merged 1 commit into
mainfrom
themis/chore/clippy_in_cargo.toml
Aug 11, 2026
Merged

chore(clippy): moved clippy lints to Cargo.toml#704
0xThemis merged 1 commit into
mainfrom
themis/chore/clippy_in_cargo.toml

Conversation

@0xThemis

Copy link
Copy Markdown
Member

No description provided.

@cursor

cursor Bot commented Aug 10, 2026

Copy link
Copy Markdown

Bugbot is paused — on-demand spend limit reached

Bugbot uses usage-based billing for this team and has hit its on-demand spend limit.

A team admin can raise the spend limit in the Cursor dashboard, or wait for the next billing cycle to continue.

@0xThemis
0xThemis force-pushed the themis/chore/clippy_in_cargo.toml branch from 713ba1f to 6106a6c Compare August 10, 2026 15:04
@cursor

cursor Bot commented Aug 10, 2026

Copy link
Copy Markdown

Bugbot is paused — on-demand spend limit reached

Bugbot uses usage-based billing for this team and has hit its on-demand spend limit.

A team admin can raise the spend limit in the Cursor dashboard, or wait for the next billing cycle to continue.

Base automatically changed from dk/protect_against_lagging_rpcs to main August 11, 2026 09:11
@dkales
dkales force-pushed the themis/chore/clippy_in_cargo.toml branch from 6106a6c to 6857d18 Compare August 11, 2026 09:11
@0xThemis
0xThemis merged commit f72f802 into main Aug 11, 2026
12 checks passed
@0xThemis
0xThemis deleted the themis/chore/clippy_in_cargo.toml branch August 11, 2026 11:37
@taceo-bot taceo-bot mentioned this pull request Aug 11, 2026
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.

2 participants