Merge remote-tracking branch 'origin/master' into delete-project-data

sagemathinc · Jul 7, 2024 · f0b6d4c · f0b6d4c
2 parents c3e2409 + aa1b1fc
commit f0b6d4c
Show file tree

Hide file tree

Showing 91 changed files with 6,956 additions and 723 deletions.
diff --git a/src/compute/compute/lib/filesystem.ts b/src/compute/compute/lib/filesystem.ts
@@ -160,7 +160,7 @@ export async function mountProject({
         // modified = ignore any file modified with this many seconds (at least);
         //            also ignores any file not in the stat cache.
         readTrackingFile: readTrackingFile,
-        readTrackingExclude: [".*", ...exclude],
+        readTrackingExclude: exclude,
         // metadata file
         metadataFile,
       }));

diff --git a/src/compute/compute/package.json b/src/compute/compute/package.json
@@ -52,6 +52,6 @@
   "devDependencies": {
     "@types/cookie": "^0.5.1",
     "@types/node": "^18.16.14",
-    "typescript": "^5.2.2"
+    "typescript": "^5.5.3"
   }
 }