From 11d1d01bfccb854362600502be4388e04d72b1b3 Mon Sep 17 00:00:00 2001
From: itoooak <101097771+itoooak@users.noreply.github.com>
Date: Thu, 16 Jan 2025 22:17:57 +0900
Subject: [PATCH] Pin VsCoq version to 2.2.0 in `devcontainer.json` for
 compatibility with the language server in the container

---
 .devcontainer/arm64/devcontainer.json  | 2 +-
 .devcontainer/x86-64/devcontainer.json | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.devcontainer/arm64/devcontainer.json b/.devcontainer/arm64/devcontainer.json
index 34ed0be..2393a6f 100644
--- a/.devcontainer/arm64/devcontainer.json
+++ b/.devcontainer/arm64/devcontainer.json
@@ -3,7 +3,7 @@
 	"image": "ghcr.io/logsem/iris-tutorial/docker-arm64",
 	"customizations": {
 		"vscode": {
-		  "extensions": ["maximedenes.vscoq"]
+			"extensions": ["maximedenes.vscoq@2.2.0"]
 		},
 		"settings": {
 			"terminal.integrated.profiles.linux": {
diff --git a/.devcontainer/x86-64/devcontainer.json b/.devcontainer/x86-64/devcontainer.json
index eee7e6e..f8fd0d8 100644
--- a/.devcontainer/x86-64/devcontainer.json
+++ b/.devcontainer/x86-64/devcontainer.json
@@ -3,7 +3,7 @@
 	"image": "ghcr.io/logsem/iris-tutorial/docker-x86-64",
 	"customizations": {
 		"vscode": {
-		  "extensions": ["maximedenes.vscoq"]
+			"extensions": ["maximedenes.vscoq@2.2.0"]
 		},
 		"settings": {
 			"terminal.integrated.profiles.linux": {