File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 3131 outputFile : .github/result/check_result.json
3232 - name : Generate summary JSON
3333 env :
34- course_id : ${{ secrets.RUSTLINGS_2024_AUTUMN_COURSE_ID }}
34+ course_id : ${{ secrets.RUSTLINGS_2025_SPRING_COURSE_ID }}
3535 run : |
3636 outfile=".github/result/check_result.json"
3737 summary_file=".github/result/summary.json"
5858 cat $summary_file
5959 - name : Post summary JSON to remote API
6060 env :
61- post_api : ${{ secrets.RUSTLINGS_2024_AUTUMN_POST_API }}
61+ post_api : ${{ secrets.RUSTLINGS_2025_SPRING_POST_API }}
6262 run : |
6363 summary_file=".github/result/summary.json"
6464 curl -X POST https://"$post_api" \
Original file line number Diff line number Diff line change 1- ## 2024年秋冬季操作系统训练营
1+ ## 2025年春夏操作系统训练营
22
33
44
You can’t perform that action at this time.
0 commit comments