notifications: minor wording tweaks + md lints

262a01e

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

DCO

DCO

Test on: pull_request

Freeze Code

Tutorial Solution (capabilities)

Tutorial Solution (libraries-1)

Tutorial Solution (libraries-2)

Tutorial Solution (libraries-3)

Tutorial Solution (libraries-4)

Tutorial Solution (hello-camkes-0)

Tutorial Solution (hello-camkes-1)

Tutorial Solution (hello-camkes-2)

Tutorial Solution (hello-camkes-timer)

Tutorial Solution (hello-world)

Tutorial Solution (interrupts)

Tutorial Solution (ipc)

Tutorial Solution (mapping)

Tutorial Solution (notifications)

Tutorial Solution (untyped)

Tutorial Solution (threads)

Tutorial Solution (fault-handlers)

Tutorial Solution (mcs)

Deploy manifest

PR on: pull_request

Checks / Gitlint

Checks / Trailing Whitespace

Checks / Portable Shell

Checks / Style

CI on: pull_request

Checks / License Check

Checks / Links

DCO / DCO succeeded Jul 10, 2026 in 1s

DCO

All commits are signed off!

Loading