Fix CI error

wtetsu · Aug 16, 2023 · 5c3979f · 5c3979f
1 parent 9109275
commit 5c3979f
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/src/background/background.js b/src/background/background.js
@@ -38,12 +38,13 @@ chrome.commands.onCommand.addListener((command) => {
     case "scroll_down":
       sendToActiveTab((tabId) => chrome.tabs.sendMessage(tabId, { message: { type: "scroll_down" } }));
       break;
-    case "activate_extension":
-      chrome.scripting.executeScript({
-        target: { tabId: tab.id },
-        files: ["main.js"],
-      });
-      break;
+    // Workaround for Vivaldi, but causes CI error (see #84)
+    // case "activate_extension":
+    //   chrome.scripting.executeScript({
+    //     target: { tabId: tab.id },
+    //     files: ["main.js"],
+    //   });
+    //   break;
   }
 });