Skip to content

Drop unused dependencies & categorise dev tooling - #1399

Merged
microbit-matt-hillsdon merged 1 commit into
mainfrom
drop-unused
Nov 10, 2026
Merged

microbit-matt-hillsdon merged 1 commit into
mainfrom
drop-unused

Drop unused dependencies & categorise dev tooling

58fb83e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
stages
succeeded Nov 5, 2026 in 6s