WIP: feat: scoreboard (#15) #31

Closed
张佳澈520370910044 wants to merge 17 commits from scoreboard into master
Showing only changes of commit cc08f1e19d - Show all commits

View File

@ -7,6 +7,9 @@ server:
user: drone user: drone
ssh_key: ssh_key:
from_secret: joj3-test from_secret: joj3-test
environment:
- 'export ORIG_HOME=$(grep ^${USER}: /etc/passwd |cut -d : -f 6)'
- PATH=$PATH:$ORIG_HOME/.local/bin
steps: steps:
- name: prepare - name: prepare
@ -27,9 +30,6 @@ steps:
- make prepare-test - make prepare-test
- make test - make test
- name: scoreboard - name: scoreboard
environment:
- 'export ORIG_HOME=$(grep ^${USER}: /etc/passwd |cut -d : -f 6)'
- PATH=$PATH:$ORIG_HOME/.local/bin
commands: commands:
- if echo "${DRONE_REPO_NAME}" | grep -q '-'; then SUBMITTER_NAME=$(echo "{DRONE_REPO_NAME}" | cut -d'-' -f1); else SUBMITTER_NAME={DRONE_REPO_NAME}; - if echo "${DRONE_REPO_NAME}" | grep -q '-'; then SUBMITTER_NAME=$(echo "{DRONE_REPO_NAME}" | cut -d'-' -f1); else SUBMITTER_NAME={DRONE_REPO_NAME};
fi fi