Skip to content

CI: add Murdock build priority configuration#18993

Open
kaspar030 wants to merge 1 commit intoRIOT-OS:masterfrom
kaspar030:add_murdock_priorities
Open

CI: add Murdock build priority configuration#18993
kaspar030 wants to merge 1 commit intoRIOT-OS:masterfrom
kaspar030:add_murdock_priorities

Commits

Commits on Nov 29, 2022