pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-10-26 11:08:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix CI validation trying to check for a file that has been deleted

Browse Source
This commit is contained in:
Andrew Dupont 2024-01-17 09:46:39 -08:00
parent cac042b3c0
commit 52e2efd0a6
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
script/validate-wasm-grammar-prs.js
View File

@ -62,6 +62,11 @@ if (wasmFilesChanged.length === 0) {
// are also accompanied by a change in the `parserSource` key
for (const wasmFile of wasmFilesChanged) {
// Ignore files that have been deleted or moved.
if (!fs.existsSync(wasmFile)) {
console.log(`Skipping file that no longer exists: ${wasmFile}`);
continue;
}
const wasmPath = path.dirname(wasmFile);
// Don't check the base `tree-sitter.wasm` file.