JOJ/runner-images
20
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: teapot run number

Browse Source
This commit is contained in:
张泊明518370910136 2024-09-14 21:59:30 -04:00
parent e3802912bb
commit 0a7777ceb5
Signed by: 张泊明518370910136
GPG Key ID: CA088E6D9284F870
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/joj3-teapot
View File

@ -8,6 +8,7 @@ JOJ3_RESULT_FILE_PATH=/tmp/joj3_result.json
GRADING_REPO_NAME="$1" GRADING_REPO_NAME="$1"
SUBMITTER_NAME="$2" SUBMITTER_NAME="$2"
SUBMITTER_REPO_NAME=$(echo "$3" | cut -d'/' -f2) SUBMITTER_REPO_NAME=$(echo "$3" | cut -d'/' -f2)
RUN_NUMBER="$4"
# TODO: redirect stdout & stderr to /dev/null in deployment # TODO: redirect stdout & stderr to /dev/null in deployment
/usr/local/bin/joint-teapot joj3-scoreboard \ /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 \ /usr/local/bin/joint-teapot joj3-create-result-issue \
$ENV_FILE_PATH \ $ENV_FILE_PATH \
$JOJ3_RESULT_FILE_PATH \ $JOJ3_RESULT_FILE_PATH \
$SUBMITTER_REPO_NAME $SUBMITTER_REPO_NAME \
$RUN_NUMBER