Skip to content

Conversation

chrysn
Copy link
Member

@chrysn chrysn commented Nov 17, 2021

This drops a workaround that was necessary during evaluation of #153 in
favor of a more long-term usable distinction between experimentation and
stable delivery, which is necessary until #141 is done properly and
c2rust is built in one go with the rest of this.


Cleanup change with no expected actual impact. (Tags diverge because latest = for-riot was rebuilt after #153 was merged, but any differences should be just because building is not byte-by-byte reproducible.)

This drops a workaround that was necessary during evaluation of RIOT-OS#153 in
favor of a more long-term usable distinction between experimentation and
stable delivery, which is necessary until RIOT-OS#141 is done properly and
c2rust is built in one go with the rest of this.
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.

bors merge

@bors
Copy link
Contributor

bors bot commented Nov 17, 2021

Build succeeded:

@bors bors bot merged commit 99728b3 into RIOT-OS:master Nov 17, 2021
@chrysn chrysn deleted the drop-label-workaround branch November 24, 2021 08:01
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