upgrade codapi to 0.13.0 (#65)

Oreoxmt · Feb 9, 2024 · 0c720d7 · 0c720d7
1 parent 767b5b3
commit 0c720d7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/website/docusaurus.config.js b/website/docusaurus.config.js
@@ -15,7 +15,7 @@ export default {
   favicon: 'img/logo.png',
   stylesheets: [
       {
-          href: "https://unpkg.com/@antonz/codapi@0.12.0/dist/snippet.css",
+          href: "https://unpkg.com/@antonz/codapi@0.13.0/dist/snippet.css",
       },
   ],
   scripts: [
@@ -29,15 +29,15 @@ export default {
       'data-website-id': '7a07d44e-77c0-43c5-aaa3-5071404be998'
     },
     {
-      src: "https://unpkg.com/@antonz/codapi@0.12.0/dist/snippet.js",
+      src: "https://unpkg.com/@antonz/codapi@0.13.0/dist/snippet.js",
       defer: true,
     },
     {
       src: "https://unpkg.com/@antonz/[email protected]/dist/runno.js",
       defer: true,
     },
     {
-      src: "https://unpkg.com/@antonz/codapi@0.12.0/dist/engine/wasi.js",
+      src: "https://unpkg.com/@antonz/codapi@0.13.0/dist/engine/wasi.js",
       defer: true,
     }
   ],