joao/extensions
João Moreno 2021-02-02 11:53:29 +01:00
parent 7e0230677a
commit fa0e000477
No known key found for this signature in database
GPG Key ID: 896B853774D1A575
2 changed files with 0 additions and 7 deletions

View File

@ -185,9 +185,6 @@ async function ci() {
try {
for (var _b = __asyncValues(getExtensions()), _c; _c = await _b.next(), !_c.done;) {
const extension = _c.value;
if (extension.type !== "theme" /* Theme */ && extension.type !== "grammar" /* Grammar */) {
continue;
}
promises.push(limit(() => runExtensionCI(extension, service)));
}
}

View File

@ -195,10 +195,6 @@ async function ci(): Promise<void> {
const promises = [];
for await (const extension of getExtensions()) {
if (extension.type !== ExtensionType.Theme && extension.type !== ExtensionType.Grammar) {
continue;
}
promises.push(limit(() => runExtensionCI(extension, service)));
}