WIP: feat: scoreboard (#15) #31
No reviewers
Labels
No Label
bug
component
executor
component
framework
component
parser
component
UI
duplicate
enhancement
help wanted
invalid
priority
p0
priority
p1
priority
p2
priority
p3
question
wontfix
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: JOJ/JOJ3#31
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "scoreboard"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This is still in development stage, don't merge it now.
For scoreboard see https://focs.ji.sjtu.edu.cn/git/FOCS-dev/JOJ3-examples/src/branch/grading/JOJ3_dev.csv
WIP: feat: scoreboardto WIP: feat: scoreboard (#15)Closing since all functions planned in this pull request are now moved to joint_teapot.
Pull request closed