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

feat: real commands in joj3-teapot

Browse Source
This commit is contained in:
张泊明518370910136 2024-09-14 18:24:49 -04:00
parent ed299366b9
commit bdcb267302
Signed by: 张泊明518370910136
GPG Key ID: CA088E6D9284F870
1 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
bin/joj3-teapot
View File

@ -2,5 +2,24 @@
set -e
# TODO: real teapot commands
LOG_FILE_PATH=/tmp/joint-teapot.log /usr/local/bin/joint-teapot --help
LOG_FILE_PATH=/tmp/joint-teapot.log
ENV_FILE_PATH=/mnt/tt/.config/teapot.env
JOJ3_RESULT_FILE_PATH=/tmp/joj3_result.json
GRADING_REPO_NAME="$1"
SUBMITTER_NAME="$GITHUB_ACTOR"
SUBMITTER_REPO_NAME=$(echo "$GITHUB_REPOSITORY" | cut -d'/' -f2)
/usr/local/bin/joint-teapot joj3-scoreboard \
$ENV_FILE_PATH \
$JOJ3_RESULT_FILE_PATH \
$SUBMITTER_NAME \
$GRADING_REPO_NAME
/usr/local/bin/joint-teapot joj3-failed-table \
$ENV_FILE_PATH \
$JOJ3_RESULT_FILE_PATH \
$GRADING_REPO_NAME \
$SUBMITTER_REPO_NAME
/usr/local/bin/joint-teapot joj3-create-result-issue \
$ENV_FILE_PATH \
$JOJ3_RESULT_FILE_PATH \
$SUBMITTER_REPO_NAME