Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Fix paste_linter() lints #1204

Merged
merged 1 commit into from
May 11, 2024
Merged

Fix paste_linter() lints #1204

merged 1 commit into from
May 11, 2024

Conversation

IndrajeetPatil
Copy link
Collaborator

No description provided.

@github-actions GitHub Actions
Copy link
Contributor

This is how benchmark results would change (along with a 95% confidence interval in relative change) if 99afa8d is merged into main:

  • ✔️cache_applying: 143ms -> 144ms [-1.54%, +3.36%]
  • ✔️cache_recording: 515ms -> 517ms [-1.25%, +1.81%]
  • ✔️without_cache: 959ms -> 964ms [-0.42%, +1.53%]

Further explanation regarding interpretation and methodology can be found in the documentation.

@IndrajeetPatil IndrajeetPatil merged commit 4ec2a1f into main May 11, 2024
18 checks passed
@IndrajeetPatil IndrajeetPatil deleted the clean-new-lints branch May 11, 2024 14:09
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@lorenzwalthert lorenzwalthert lorenzwalthert approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@IndrajeetPatil @lorenzwalthert