8000 fix the typos by howjmay · Pull Request #4425 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix the typos #4425

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

Merged
merged 1 commit into from
May 11, 2025
Merged

fix the typos #4425

merged 1 commit into from
May 11, 2025

Conversation

howjmay
Copy link
Contributor
@howjmay howjmay commented May 11, 2025

Pull Request Overview

Fix the typos

Testing Strategy

This pull request was tested by...

TODO or Help Wanted

This pull request still needs...

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

@github-actions github-actions bot added tock-libraries This affects libraries supported by the Tock project HIL This affects a Tock HIL interface. labels May 11, 2025
@lschuermann lschuermann added the P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny. label May 11, 2025
@lschuermann lschuermann enabled auto-merge May 11, 2025 22:44
@lschuermann lschuermann added this pull request to the merge queue May 11, 2025
Merged via the queue into tock:master with commit 5a86ae7 May 11, 2025
15 checks passed
@howjmay howjmay deleted the typos branch May 13, 2025 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
HIL This affects a Tock HIL interface. P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny. tock-libraries This affects libraries supported by the Tock project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants
0