docs: fix errors from ci

AleoNet · Oct 3, 2024 · 7b5daa1 · 7b5daa1
1 parent ebee403
commit 7b5daa1
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/documentation updates aleo ambassadors/src/build/installation/installation.md b/documentation updates aleo ambassadors/src/build/installation/installation.md
@@ -282,7 +282,7 @@ cargo install --path .
 
 To improve the developer experience, Aleo has provided extensions for syntax highlighting for your popular code editors. 
 - [VSCode](https://code.visualstudio.com/download)
-    - Install [Leo for VSCode](https://marketplace.visualstudio.com/items?itemName=provablehq.leo-extension) from VSCode marketplace.
+    - Install [Leo for VSCode](https://marketplace.visualstudio.com/items?itemName=aleohq.leo-extension) from VSCode marketplace.
     - The correct extension ID is provablehq.leo-extension, and the description should state "the official VSCode extension for Leo".
 - [IntelliJ](https://www.jetbrains.com/idea/download/?section=mac)
     - [Extension here](https://plugins.jetbrains.com/plugin/19890-aleo-developer)

diff --git a/documentation/00_sdk_overview.md b/documentation/00_sdk_overview.md
@@ -29,7 +29,7 @@ The official Provable SDK providing Javascript/Typescript tools for creating zer
 Start here with the [documentation](./sdk/typescript/00_sdk_overview.md) and follow the instructions to install the [Provable SDK](https://github.com/provablehq/sdk/tree/testnet3/sdk#readme) to get started building your
 first zero knowledge web app.
 
-#### Source: [`sdk/sdk`](https://github.com/provablehq/sdk/tree//sdk)
+#### Source: [`sdk/sdk`](https://github.com/provablehq/sdk/tree/testnet3/sdk)
 
 
 ## 2. [Create-Leo-App](./sdk/create-leo-app/00_app_installation.md) - Zero Knowledge Web App Examples

diff --git a/documentation/aleo/07_tooling.md b/documentation/aleo/07_tooling.md
@@ -41,7 +41,7 @@ Download the editor here: https://code.visualstudio.com/download.
 
 ### Install
 
-1. Install [Leo for VSCode](https://marketplace.visualstudio.com/items?itemName=provablehq.leo-extension) from VSCode marketplace.   
+1. Install [Leo for VSCode](https://marketplace.visualstudio.com/items?itemName=aleohq.leo-extension) from VSCode marketplace.   
 2. The correct extension ID is `provablehq.leo-extension`, and the description should state "the official VSCode extension for Leo".
 
 ### Usage

diff --git a/documentation/leo/06_tooling.md b/documentation/leo/06_tooling.md
@@ -35,7 +35,7 @@ Download the editor here: https://code.visualstudio.com/download.
 
 ### Install
 
-1. Install [Leo for VSCode](https://marketplace.visualstudio.com/items?itemName=provablehq.leo-extension) from VSCode marketplace.   
+1. Install [Leo for VSCode](https://marketplace.visualstudio.com/items?itemName=aleohq.leo-extension) from VSCode marketplace.   
 2. The correct extension ID is `provablehq.leo-extension`, and the description should state "the official VSCode extension for Leo".
 
 ### Usage