Skip to content

riotbuild: Drop :focal tag in favor of a more stable one#162

Merged
bors[bot] merged 1 commit intoRIOT-OS:masterfrom
chrysn-pull-requests:drop-label-workaround
Nov 17, 2021
Merged

riotbuild: Drop :focal tag in favor of a more stable one#162
bors[bot] merged 1 commit intoRIOT-OS:masterfrom
chrysn-pull-requests:drop-label-workaround

Conversation

@chrysn
Copy link
Copy Markdown
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
Copy Markdown
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
Copy Markdown
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