WIP: feat: scoreboard (#15) #31

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

View File

@ -7,9 +7,6 @@ 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
@ -31,6 +28,8 @@ steps:
- make test - make test
- name: scoreboard - name: scoreboard
commands: 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}; - 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
- mkdir repo - mkdir repo