mip: Make mip.install() skip /rom*/lib directories. #440
dpgeorge
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 warning
|
build
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|