cli: Add check:theia-extensions
command (#12596)
#6021
Job | Run time |
---|---|
31s | |
31s |
check:theia-extensions
command (#12596)
#6021
Job | Run time |
---|---|
31s | |
31s |