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

Update WORDLIST #1240

Merged
merged 5 commits into from
Nov 30, 2024
Merged

Update WORDLIST #1240

merged 5 commits into from
Nov 30, 2024

Conversation

IndrajeetPatil
Copy link
Collaborator

Automated changes via spelling::update_wordlist()

@IndrajeetPatil
Copy link
Collaborator Author

I am wondering if we should remove /inst folder from touchstone receive workflow. I don't see why benchmarking should be run for PRs like these.

@github-actions GitHub Actions
Copy link
Contributor

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

  • ✔️cache_applying: 172ms -> 170ms [-3.75%, +0.63%]
  • ✔️cache_recording: 545ms -> 544ms [-0.88%, +0.53%]
  • ✔️without_cache: 1.02s -> 1.02s [-0.02%, +1.32%]

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

@IndrajeetPatil IndrajeetPatil merged commit 59c3d34 into main Nov 30, 2024
18 checks passed
@IndrajeetPatil IndrajeetPatil deleted the update-wordlist-nov24 branch November 30, 2024 22:11
# 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