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

driver/lc709203f: remove unnecessary use of float #19662

Merged
merged 1 commit into from
May 24, 2023

Conversation

kfessel
Copy link
Contributor

@kfessel kfessel commented May 24, 2023

Contribution description

removes a unnecessary use of float

Testing procedure

read and test if you got that hardware (I don't)

Issues/PRs references

#19614

@github-actions github-actions bot added the Area: drivers Area: Device drivers label May 24, 2023
@kfessel kfessel requested a review from maribu May 24, 2023 12:30
@kfessel kfessel added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: low priority If set, builds of this PR will be queued behind others labels May 24, 2023
@riot-ci
Copy link

riot-ci commented May 24, 2023

Murdock results

✔️ PASSED

2c3920a driver/lc709203f: remove unnecessary use of float

Success Failures Total Runtime
6933 0 6933 10m:50s

Artifacts

@maribu
Copy link
Member

maribu commented May 24, 2023

bors merge

bors bot added a commit that referenced this pull request May 24, 2023
19662: driver/lc709203f: remove unnecessary use of float r=maribu a=kfessel

### Contribution description

removes a unnecessary use of float

### Testing procedure

read and test if you got that hardware (I don't)

### Issues/PRs references

#19614 

Co-authored-by: Karl Fessel <karl.fessel@ovgu.de>
@aabadie
Copy link
Contributor

aabadie commented May 24, 2023

bors cancel
bors merge

@bors
Copy link
Contributor

bors bot commented May 24, 2023

Canceled.

@bors
Copy link
Contributor

bors bot commented May 24, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit 993c10a into RIOT-OS:master May 24, 2023
@benpicco benpicco added this to the Release 2023.07 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: drivers Area: Device drivers CI: low priority If set, builds of this PR will be queued behind others CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants