Skip to content

trivial: fix broken link#88

Merged
lsf37 merged 1 commit intoseL4:masterfrom
nspin:pr/fix-rfc-link
Mar 25, 2026
Merged

trivial: fix broken link#88
lsf37 merged 1 commit intoseL4:masterfrom
nspin:pr/fix-rfc-link

Conversation

@nspin
Copy link
Copy Markdown
Member

@nspin nspin commented Mar 24, 2026

Fixes broken link to runtime domain schedules RFC, to appease link checker in CI.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
Copy link
Copy Markdown
Member

@lsf37 lsf37 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks!

@lsf37 lsf37 merged commit 967ac76 into seL4:master Mar 25, 2026
11 checks passed
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