8000 Notes from Core Working Group call: August 9, 2024 by brghena · Pull Request #4137 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Notes from Core Working Group call: August 9, 2024 #4137

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
Aug 9, 2024

Conversation

brghena
Copy link
Contributor
@brghena brghena commented Aug 9, 2024

Pull Request Overview

This pull request adds notes from the Core Working Group call on August 9th, 2024.

Rendered

Testing Strategy

Documentation

TODO or Help Wanted

If people wouldn't mind looking over the two sections on grants and making sure I didn't leave out or misquote any important details, I'd really appreciate it.

Documentation Updated

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

Formatting

  • [N/A] Ran make prepush.

@alevy alevy added this pull request to the merge queue Aug 9, 2024
Merged via the queue into master with commit 4004665 Aug 9, 2024
18 checks passed
@alevy alevy deleted the core-notes-2024-08-09 branch August 9, 2024 17:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants
0