Skip to content
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

cord: convert to ztimer #19391

Merged
merged 1 commit into from
Mar 14, 2023
Merged

cord: convert to ztimer #19391

merged 1 commit into from
Mar 14, 2023

Conversation

bergzand
Copy link
Member

Contribution description

As the subject describes

Testing procedure

The examples/cord_ep example should work as before.

Issues/PRs references

None

@bergzand bergzand added the Type: cleanup The issue proposes a clean-up / The PR cleans-up parts of the codebase / documentation label Mar 14, 2023
@github-actions github-actions bot added Area: network Area: Networking Area: sys Area: System labels Mar 14, 2023
@benpicco benpicco added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Mar 14, 2023
@riot-ci
Copy link

riot-ci commented Mar 14, 2023

Murdock results

✔️ PASSED

5205151 cord: convert to ztimer

Success Failures Total Runtime
6882 0 6882 11m:09s

Artifacts

@benpicco
Copy link
Contributor

bors merge

1 similar comment
@kaspar030
Copy link
Contributor

bors merge

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>
@kaspar030
Copy link
Contributor

bors merge

@bors
Copy link
Contributor

bors bot commented Mar 14, 2023

Build succeeded:

@bors bors bot merged commit d7dba62 into RIOT-OS:master Mar 14, 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: network Area: Networking Area: sys Area: System CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR 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