Add contemporary 0.10.0 dev build

PlutoLang · Oct 25, 2024 · d1f83e6 · d1f83e6
1 parent 0d19579
commit d1f83e6
Show file tree

Hide file tree

Showing 5 changed files with 40 additions and 0 deletions.
diff --git a/manifest.json b/manifest.json
@@ -1,5 +1,6 @@
 {
     "pluto": {
+        "0.10.0-dev": "https://pluto-lang.org/wasm-builds/out/pluto/0.10.0-dev/pluto.js",
         "0.6.3": "https://pluto-lang.org/wasm-builds/out/pluto/0.6.3/pluto.js",
         "0.7.0": "https://pluto-lang.org/wasm-builds/out/pluto/0.7.0/pluto.js",
         "0.7.4": "https://pluto-lang.org/wasm-builds/out/pluto/0.7.4/pluto.js",
@@ -14,6 +15,7 @@
         "0.9.5": "https://pluto-lang.org/wasm-builds/out/pluto/0.9.5/pluto.js"
     },
     "libpluto": {
+        "0.10.0-dev": "https://pluto-lang.org/wasm-builds/out/libpluto/0.10.0-dev/libpluto.js",
         "0.8.0": "https://pluto-lang.org/wasm-builds/out/libpluto/0.8.0/libpluto.js",
         "0.8.1": "https://pluto-lang.org/wasm-builds/out/libpluto/0.8.1/libpluto.js",
         "0.8.2": "https://pluto-lang.org/wasm-builds/out/libpluto/0.8.2/libpluto.js",

diff --git a/out/libpluto/0.10.0-dev/libpluto.js b/out/libpluto/0.10.0-dev/libpluto.js
diff --git a/out/libpluto/0.10.0-dev/libpluto.wasm b/out/libpluto/0.10.0-dev/libpluto.wasm
diff --git a/out/pluto/0.10.0-dev/pluto.js b/out/pluto/0.10.0-dev/pluto.js
diff --git a/out/pluto/0.10.0-dev/pluto.wasm b/out/pluto/0.10.0-dev/pluto.wasm