feat: remove joj3-teapot #4
							
								
								
									
										4
									
								
								.gitignore
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										4
									
								
								.gitignore
									
									
									
									
										vendored
									
									
								
							|  | @ -1,2 +1,2 @@ | ||||||
| /bin/* | /bin/joj3 | ||||||
| !/bin/joj3-teapot | /bin/repo-health-checker | ||||||
|  |  | ||||||
|  | @ -17,8 +17,8 @@ RUN sed -i s@/deb.debian.org/@/mirrors.tuna.tsinghua.edu.cn/@g /etc/apt/sources. | ||||||
| # TODO: change it to FOCS gitea mirror for deployment | # TODO: change it to FOCS gitea mirror for deployment | ||||||
| RUN pip install git+https://ghp.ci/https://github.com/BoYanZh/Joint-Teapot --break-system-packages | RUN pip install git+https://ghp.ci/https://github.com/BoYanZh/Joint-Teapot --break-system-packages | ||||||
| 
 | 
 | ||||||
| # install joj3 & repo-health-checker & teapot wrapper | # install joj3 & repo-health-checker | ||||||
| COPY bin/joj3 bin/repo-health-checker bin/joj3-teapot /usr/local/bin/ | COPY bin/joj3 bin/repo-health-checker /usr/local/bin/ | ||||||
| 
 | 
 | ||||||
| USER student | USER student | ||||||
| WORKDIR /home/student | WORKDIR /home/student | ||||||
|  |  | ||||||
							
								
								
									
										0
									
								
								bin/.gitkeep
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										0
									
								
								bin/.gitkeep
									
									
									
									
									
										Normal file
									
								
							|  | @ -1,32 +0,0 @@ | ||||||
| #!/usr/bin/bash |  | ||||||
| 
 |  | ||||||
| set -e |  | ||||||
| 
 |  | ||||||
| export LOG_FILE_PATH=/home/tt/.cache/joint-teapot-debug.log |  | ||||||
| export _TYPER_STANDARD_TRACEBACK=1 |  | ||||||
| ENV_FILE_PATH=/home/tt/.config/teapot/teapot.env |  | ||||||
| JOJ3_RESULT_FILE_PATH=/tmp/joj3_result.json |  | ||||||
| GRADING_REPO_NAME="$1" |  | ||||||
| SUBMITTER_NAME="$2" |  | ||||||
| SUBMITTER_REPO_NAME=$(echo "$3" | cut -d'/' -f2) |  | ||||||
| RUN_NUMBER="$4" |  | ||||||
| 
 |  | ||||||
| /usr/local/bin/joint-teapot joj3-scoreboard \ |  | ||||||
|     $ENV_FILE_PATH \ |  | ||||||
|     $JOJ3_RESULT_FILE_PATH \ |  | ||||||
|     $SUBMITTER_NAME \ |  | ||||||
|     $GRADING_REPO_NAME \ |  | ||||||
|     $SUBMITTER_REPO_NAME \ |  | ||||||
|     $RUN_NUMBER |  | ||||||
| /usr/local/bin/joint-teapot joj3-failed-table \ |  | ||||||
|     $ENV_FILE_PATH \ |  | ||||||
|     $JOJ3_RESULT_FILE_PATH \ |  | ||||||
|     $SUBMITTER_NAME \ |  | ||||||
|     $GRADING_REPO_NAME \ |  | ||||||
|     $SUBMITTER_REPO_NAME \ |  | ||||||
|     $RUN_NUMBER |  | ||||||
| /usr/local/bin/joint-teapot joj3-create-result-issue \ |  | ||||||
|     $ENV_FILE_PATH \ |  | ||||||
|     $JOJ3_RESULT_FILE_PATH \ |  | ||||||
|     $SUBMITTER_REPO_NAME \ |  | ||||||
|     $RUN_NUMBER |  | ||||||
		Loading…
	
		Reference in New Issue
	
	Block a user