WIP: feat: scoreboard (#15) #31

Closed
张佳澈520370910044 wants to merge 17 commits from scoreboard into master
2 changed files with 14 additions and 7 deletions
Showing only changes of commit bc6222307f - Show all commits

View File

@ -28,13 +28,7 @@ steps:
- make test
- name: scoreboard
commands:
- 'export ORIG_HOME=$(grep ^${USER}: /etc/passwd |cut -d : -f 6)'
- PATH=$PATH:$ORIG_HOME/.local/bin
- if echo "${DRONE_REPO_NAME}" | grep -q '-'; then SUBMITTER_NAME=$(echo "{DRONE_REPO_NAME}" | cut -d'-' -f1); else SUBMITTER_NAME={DRONE_REPO_NAME};
fi
- mkdir repo
- 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
- bash scripts/submit_scoreboard.sh
- name: store
commands:
- cp build/joj3 /home/drone/.local/bin/joj3

View File

@ -0,0 +1,13 @@
#!/bin/bash
export ORIG_HOME=$(grep ^${USER}: /etc/passwd |cut -d : -f 6)
PATH=$PATH:$ORIG_HOME/.local/bin
if echo "${DRONE_REPO_NAME}" | grep -q '-'; then
SUBMITTER_NAME=$(echo "{DRONE_REPO_NAME}" | cut -d'-' -f1);
else
SUBMITTER_NAME={DRONE_REPO_NAME};
fi
mkdir repo
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