From 3b6349e33c0b602bebb718cd17ee161edb831f7c Mon Sep 17 00:00:00 2001
From: jimin9038 <jimin9038@g.skku.edu>
Date: Wed, 29 May 2024 21:55:00 +0900
Subject: [PATCH] Add how to start iris

---
 dev/intro/getting-started.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dev/intro/getting-started.md b/dev/intro/getting-started.md
index 996c19d..a2a6126 100644
--- a/dev/intro/getting-started.md
+++ b/dev/intro/getting-started.md
@@ -186,6 +186,12 @@ Dev Containers 확장을 선택하고 'Install' 버튼을 눌러 설치합니다
 cd apps/backend
 pnpm start:dev
 ```
+Judge Server인 iris 실행을 위해서는 터미널을 열어 다음 명령어를 입력해주세요.
+
+```sh
+cd apps/infra
+sudo -E go run .
+```
 
 ## Remote Development