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