JOJ/JOJ3
24
5
Fork 0
Code Issues 5 Pull Requests Actions Packages Projects Releases Wiki Activity

WIP: feat: scoreboard (#15) #31

Closed
张佳澈520370910044 wants to merge 17 commits from scoreboard into master
pull from: scoreboard
merge into: JOJ:master
Conversation 1 Commits 17 Files Changed 5 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 24b7b2b555 - Show all commits

2
scripts/submit_scoreboard.sh
View File

@ -8,6 +8,6 @@ else
SUBMITTER_NAME={DRONE_REPO_NAME};
fi
mkdir repo
mkdir repos
cp $ORIG_HOME/.config/ci/teapot.env .env && joint-teapot JOJ3-scoreboard "score.json" $SUBMITTER_NAME "" "JOJ3-examples" "JOJ3_dev.csv"
cat joint-teapot.log