chore: version bump → 1.0.0-alpha13

Signed-off-by: Sam Gammon <[email protected]>

Author: sgammon

.github/workflows/build-docs.yml

@@ -16,7 +16,7 @@ env:
   ALGOLIA_APP_NAME: 'GPZ3MWT2LQ'
   ALGOLIA_INDEX_NAME: 'dev_elide_docs'
   CONFIG_JSON_PRODUCT: 'E'
-  CONFIG_JSON_VERSION: '1.0.0-alpha12'
+  CONFIG_JSON_VERSION: '1.0.0-alpha13'
 
 jobs:
   build:

Writerside/e.tree

@@ -110,6 +110,7 @@
         </toc-element>
     </toc-element>
     <toc-element toc-title="Release Notes">
+        <toc-element toc-title="1.0.0-alpha13" href="https://github.com/elide-dev/elide/releases/tag/1.0.0-alpha13" />
         <toc-element toc-title="1.0.0-alpha12" href="https://github.com/elide-dev/elide/releases/tag/1.0.0-alpha12" />
         <toc-element toc-title="1.0.0-alpha11" href="https://github.com/elide-dev/elide/releases/tag/1.0.0-alpha11" />
         <toc-element toc-title="1.0.0-alpha10" href="https://github.com/elide-dev/elide/releases/tag/1.0.0-alpha10" />

Writerside/v.list

@@ -2,7 +2,7 @@
 <!DOCTYPE vars SYSTEM "https://resources.jetbrains.com/writerside/1.0/vars.dtd">
 <vars>
     <var name="product" value="Elide"/>
-    <var name="version" value="1.0.0-alpha12"/>
+    <var name="version" value="1.0.0-alpha13"/>
     <var name="elideDocsSite" value="https://docs.elide.dev"/>
     <var name="elideSite" value="https://elide.dev"/>
     <var name="elideGitHubOrg" value="https://github.com/elide-dev"/>

Writerside/writerside.cfg

@@ -7,5 +7,5 @@
     <images dir="images" web-path="docs"/>
     <categories src="c.list"/>
     <vars src="v.list"/>
-    <instance src="e.tree" version="1.0.0-alpha12" web-path="E" />
+    <instance src="e.tree" version="1.0.0-alpha13" web-path="E" />
 </ihp>