Skip to content

riotbuild/Dockerfile: fix picolibc URL - #301

Merged
crasbe merged 1 commit into
RIOT-OS:masterfrom
crasbe:pr/fix_picolibc_url
Oct 6, 2026
Merged

crasbe merged 1 commit into
RIOT-OS:masterfrom
crasbe:pr/fix_picolibc_url

Conversation

@crasbe

@crasbe crasbe commented Oct 6, 2026

Copy link
Copy Markdown
Contributor

The original URL for picolibc does not work anymore, it seems to have been moved to the picolibc organization instead.

Until this is fixed, our container won't build anymore...

@crasbe crasbe added dependencies Pull requests that update a dependency file State: waiting for release This PR is ready, but waiting for the upcoming release to happen to avoid CI chaos. labels Oct 6, 2026
@crasbe
crasbe enabled auto-merge October 6, 2026 10:25
@crasbe crasbe removed the State: waiting for release This PR is ready, but waiting for the upcoming release to happen to avoid CI chaos. label Oct 6, 2026
@crasbe
crasbe added this pull request to the merge queue Oct 6, 2026
Merged via the queue into RIOT-OS:master with commit ccbc059 Oct 6, 2026
2 checks passed
@crasbe
crasbe deleted the pr/fix_picolibc_url branch October 6, 2026 12:31
@crasbe

crasbe commented Oct 6, 2026

Copy link
Copy Markdown
Contributor Author

Thanks for the reviews :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants