Skip to content
Snippets Groups Projects

rename: picolib -> pico

Failed
Yaroslav Dynnikov created pipeline for commit 7d5e8b06
, finished
For master
1 job 8 minutes 15 seconds, queued for 14 seconds