From ed9e538f4c7b613503ab7f189ab8c4e17e52c972 Mon Sep 17 00:00:00 2001
From: osrm <90407222+osrm@users.noreply.github.com>
Date: Sun, 8 Jun 2025 17:11:19 +0900
Subject: [PATCH] Update using-devcontainers.mdx

---
 docs/docs/how_to/using-devcontainers.mdx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/how_to/using-devcontainers.mdx b/docs/docs/how_to/using-devcontainers.mdx
index dcd30d89801..a0ace887b3f 100644
--- a/docs/docs/how_to/using-devcontainers.mdx
+++ b/docs/docs/how_to/using-devcontainers.mdx
@@ -77,7 +77,7 @@ Github comes with a default codespace and you can use it to code your own devcon
 
 This will pull the new image and build it, so it could take a minute or so
 
-#### 8. Done!   
+#### 7. Done!   
 Just wait for the build to finish, and there's your easy Noir environment. Some examples of how to use it can be found in the [awesome-noir](https://github.com/noir-lang/awesome-noir?tab=readme-ov-file#boilerplates) repository.
 
 ## How do I use it?