Skip to content

ztimer: Fix doc on ztimer_remove #19392

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
Mar 16, 2023

Conversation

bergzand
Copy link
Member

Contribution description

See the subject

Testing procedure

Read the modified docs

Issues/PRs references

None

@bergzand bergzand added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) Type: cleanup The issue proposes a clean-up / The PR cleans-up parts of the codebase / documentation CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs labels Mar 14, 2023
@bergzand bergzand requested a review from kaspar030 as a code owner March 14, 2023 17:17
@github-actions github-actions bot added Area: sys Area: System Area: timers Area: timer subsystems labels Mar 14, 2023
@riot-ci
Copy link

riot-ci commented Mar 14, 2023

Murdock results

✔️ PASSED

fa0ab40 ztimer: Fix doc on ztimer_remove

Success Failures Total Runtime
1 0 1 01m:04s

Artifacts

@benpicco benpicco added the Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer label Mar 14, 2023
@benpicco
Copy link
Contributor

bors merge

@kaspar030
Copy link
Contributor

bors ping

@bors
Copy link
Contributor

bors bot commented Mar 14, 2023

pong

@kaspar030
Copy link
Contributor

bors cancel
bors merge

bors bot added a commit that referenced this pull request Mar 14, 2023
19392: ztimer: Fix doc on ztimer_remove r=kaspar030 a=bergzand

### Contribution description

See the subject 


### Testing procedure

Read the modified docs


### Issues/PRs references

None

Co-authored-by: Koen Zandberg <koen@bergzand.net>
bors bot added a commit that referenced this pull request Mar 14, 2023
19391: cord: convert to ztimer r=kaspar030 a=bergzand

### Contribution description

As the subject describes


### Testing procedure

The `examples/cord_ep` example should work as before.


### Issues/PRs references

None


19392: ztimer: Fix doc on ztimer_remove r=kaspar030 a=bergzand

### Contribution description

See the subject 


### Testing procedure

Read the modified docs


### Issues/PRs references

None

Co-authored-by: Koen Zandberg <koen@bergzand.net>
@benpicco
Copy link
Contributor

bors merge

bors bot added a commit that referenced this pull request Mar 16, 2023
19392: ztimer: Fix doc on ztimer_remove r=benpicco a=bergzand

### Contribution description

See the subject 


### Testing procedure

Read the modified docs


### Issues/PRs references

None

19398: gnrc_ipv6_static_addr: fix build with only static address r=benpicco a=benpicco



Co-authored-by: Koen Zandberg <koen@bergzand.net>
Co-authored-by: Benjamin Valentin <benpicco@beuth-hochschule.de>
@benpicco
Copy link
Contributor

bors cancel
bors merge

@bors
Copy link
Contributor

bors bot commented Mar 16, 2023

Canceled.

@bors
Copy link
Contributor

bors bot commented Mar 16, 2023

Build succeeded:

@bors bors bot merged commit 1a787d4 into RIOT-OS:master Mar 16, 2023
@MrKevinWeiss MrKevinWeiss added this to the Release 2023.04 milestone Apr 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: sys Area: System Area: timers Area: timer subsystems CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) Type: cleanup The issue proposes a clean-up / The PR cleans-up parts of the codebase / documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants