ci: fix lint

Agoric · Aug 4, 2023 · 05ad3c4 · 05ad3c4
1 parent c239f7b
commit 05ad3c4
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/packages/boot/index.js b/packages/boot/index.js
@@ -0,0 +1,3 @@
+// @ts-check
+// Ambient types
+import '@agoric/vats/src/core/types.js';
diff --git a/packages/boot/jsconfig.json b/packages/boot/jsconfig.json
@@ -0,0 +1,13 @@
+{
+  "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "checkJs": false,
+  },
+  "include": [
+    "*.js",
+    "scripts/**/*.js",
+    "src/**/*.js",
+    "test/**/*.js",
+    "tools/**/*.js",
+  ],
+}