Skip to content

CI: Test Rust both with hello-world and gcoap example#209

Merged
bors[bot] merged 1 commit intoRIOT-OS:masterfrom
chrysn-pull-requests:better-rust-tests
Sep 27, 2022
Merged

CI: Test Rust both with hello-world and gcoap example#209
bors[bot] merged 1 commit intoRIOT-OS:masterfrom
chrysn-pull-requests:better-rust-tests

Conversation

@chrysn
Copy link
Member

@chrysn chrysn commented Sep 27, 2022

Build failures after #189 show that the test coverage is insufficient to catch C2Rust breakage; this mitigates it by building an example that pulls in much more code.

[edit: Also, this is a good base to look into whether this needs / can be fixed on the image rather than on the Rust side, and it keeps pressure off Murdock by testing it here].

Build failures after RIOT-OS#189 show
that the test coverage is insufficient to catch C2Rust breakage; this
mitigates it by building an example that pulls in much more code.
@chrysn chrysn mentioned this pull request Sep 27, 2022
Copy link
Contributor

@kaspar030 kaspar030 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK.

@kaspar030
Copy link
Contributor

this will currently fail, right?

bors merge

@chrysn
Copy link
Member Author

chrysn commented Sep 27, 2022

Yes, I hope so. (Otherwise the issue would be way harder to track).

I have no clue whether the follow-up #210 would pass.

@chrysn
Copy link
Member Author

chrysn commented Sep 27, 2022

Sadly, it did pass. Curious for bors' result, but AIU it's doing the very tests that the build target does (it just merges with master before, but as this forks off master, that's a no-op).

@bors
Copy link
Contributor

bors bot commented Sep 27, 2022

Build succeeded:

@bors bors bot merged commit 96074fc into RIOT-OS:master Sep 27, 2022
@chrysn
Copy link
Member Author

chrysn commented Sep 27, 2022

It turned out that this was not the issue (rather, no RISC-V have been run at all), but still, this gives way better code coverage, so it's still a win.

bors bot added a commit that referenced this pull request Sep 27, 2022
210: C2Rust updates / fixes r=kaspar030 a=chrysn

This branch is used for investigating failures encountered after merging #189, in which C2Rust errs internally. Upstream might already have solved it.

This builds on #209.

Co-authored-by: chrysn <chrysn@fsfe.org>
@chrysn chrysn deleted the better-rust-tests branch September 27, 2022 14:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants