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

tests/drivers/epd_bw_spi_disp_dev: fix accidental use of FPU #19694

Merged
merged 1 commit into from
Jun 1, 2023

Conversation

maribu
Copy link
Member

@maribu maribu commented May 31, 2023

Contribution description

As the title says.

Testing procedure

Code review should be sufficient

Issues/PRs references

None

@maribu maribu added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) Area: tests Area: tests and testing framework Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels May 31, 2023
@riot-ci
Copy link

riot-ci commented May 31, 2023

Murdock results

✔️ PASSED

340b2b6 tests/drivers/epd_bw_spi_disp_dev: fix accidental use of FPU

Success Failures Total Runtime
15 0 15 01m:12s

Artifacts

@maribu
Copy link
Member Author

maribu commented May 31, 2023

bors merge

bors bot added a commit that referenced this pull request May 31, 2023
18156: pkg/opendsme: add initial support for IEEE 802.15.4 DSME time-slotted MAC r=miri64 a=jia200x



19691: drivers/bmx055: fix crazy use of FPU r=maribu a=maribu

### Contribution description

As the title says...


19694: tests/drivers/epd_bw_spi_disp_dev: fix accidental use of FPU r=maribu a=maribu



Co-authored-by: Jose Alamos <jose@alamos.cc>
Co-authored-by: Marian Buschsieweke <marian.buschsieweke@posteo.net>
@bors
Copy link
Contributor

bors bot commented May 31, 2023

Build failed (retrying...):

@bors
Copy link
Contributor

bors bot commented Jun 1, 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 e71054d into RIOT-OS:master Jun 1, 2023
@benpicco benpicco added this to the Release 2023.07 milestone Aug 2, 2023
@maribu maribu deleted the test/drivers/epd_bw_spi_disp_dev branch December 5, 2023 08:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: tests Area: tests and testing framework CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR 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)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants