From 0a7777ceb580845dcf91b5ea5a24a993dba64e53 Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Sat, 14 Sep 2024 21:59:30 -0400
Subject: [PATCH] feat: teapot run number

---
 bin/joj3-teapot | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bin/joj3-teapot b/bin/joj3-teapot
index b04f128..0a5c543 100755
--- a/bin/joj3-teapot
+++ b/bin/joj3-teapot
@@ -8,6 +8,7 @@ JOJ3_RESULT_FILE_PATH=/tmp/joj3_result.json
 GRADING_REPO_NAME="$1"
 SUBMITTER_NAME="$2"
 SUBMITTER_REPO_NAME=$(echo "$3" | cut -d'/' -f2)
+RUN_NUMBER="$4"
 
 # TODO: redirect stdout & stderr to /dev/null in deployment
 /usr/local/bin/joint-teapot joj3-scoreboard \
@@ -23,4 +24,5 @@ SUBMITTER_REPO_NAME=$(echo "$3" | cut -d'/' -f2)
 /usr/local/bin/joint-teapot joj3-create-result-issue \
     $ENV_FILE_PATH \
     $JOJ3_RESULT_FILE_PATH \
-    $SUBMITTER_REPO_NAME
+    $SUBMITTER_REPO_NAME \
+    $RUN_NUMBER