Compare commits

..

No commits in common. "master" and "master" have entirely different histories.

5 changed files with 28 additions and 62 deletions

View File

@ -34,9 +34,9 @@ class Tea:
tea = Tea() # lazy loader
@app.command("export-users", help="export users from canvas to csv file")
def export_users_to_csv(output_file: Path = Argument("students.csv")) -> None:
tea.pot.canvas.export_users_to_csv(output_file)
@app.command("export-students", help="export students from canvas to csv file")
def export_students_to_csv(output_file: Path) -> None:
tea.pot.canvas.export_students_to_csv(output_file)
@app.command(
@ -295,10 +295,6 @@ def joj3_all_env(
False,
help="skip creating failed table on gitea",
),
scoreboard_column_by_ref: bool = Option(
False,
help="use git ref as scoreboard column name",
),
submitter_in_issue_title: bool = Option(
True,
help="whether to include submitter in issue title",
@ -311,10 +307,6 @@ def joj3_all_env(
"#795548",
help="label color for the issue created by this command",
),
issue_label_exclusive: bool = Option(
False,
help="label set as exclusive for the issue created by this command",
),
end_time: Optional[datetime] = Option(None),
penalty_config: str = Option(
"",
@ -368,7 +360,6 @@ def joj3_all_env(
submitter_repo_name,
issue_label_name,
issue_label_color,
issue_label_exclusive,
penalty_factor,
)
res["issue"] = issue_number
@ -407,15 +398,11 @@ def joj3_all_env(
raise Exit(code=1)
repo.git.reset("--hard", "origin/grading")
if not skip_scoreboard:
exercise_name = env.joj3_conf_name
if scoreboard_column_by_ref:
exercise_name = env.github_ref
joj3.generate_scoreboard(
env.joj3_output_path,
env.github_actor,
os.path.join(repo_path, scoreboard_filename),
exercise_name,
submitter_repo_name,
env.joj3_conf_name,
)
tea.pot.git.add_commit(
grading_repo_name,

View File

@ -240,7 +240,6 @@ class Teapot:
submitter_repo_name: str,
issue_label_name: str,
issue_label_color: str,
issue_label_exclusive: bool,
penalty_factor: float,
) -> int:
title, comment = joj3.generate_title_and_comment(
@ -281,11 +280,7 @@ class Teapot:
label = self.gitea.issue_api.issue_create_label(
self.gitea.org_name,
submitter_repo_name,
body={
"name": issue_label_name,
"color": issue_label_color,
"exclusive": issue_label_exclusive,
},
body={"name": issue_label_name, "color": issue_label_color},
)
label_id = label.id
joj3_issue = self.gitea.issue_api.issue_create_issue(
@ -330,7 +325,7 @@ class Teapot:
f"[{end_time + timedelta(seconds=1)}, {penalty_end_time}].\n",
True,
)
elif now > end_time:
else:
return (
"### Submission Time Check Passed\n"
f"Current time {now} is not in the valid range "

View File

@ -40,7 +40,6 @@ def generate_scoreboard(
submitter: str,
scoreboard_file_path: str,
exercise_name: str,
submitter_repo_name: str,
) -> None:
if not scoreboard_file_path.endswith(".csv"):
logger.error(
@ -49,25 +48,18 @@ def generate_scoreboard(
return
os.makedirs(os.path.dirname(scoreboard_file_path), exist_ok=True)
# Load the csv file if it already exists
fixed_headers = ["", "repo_name", "last_edit", "total"]
fixed_defaults = [submitter, submitter_repo_name, "", "0"]
if os.path.exists(scoreboard_file_path):
with open(scoreboard_file_path, newline="") as file:
reader = csv.reader(file)
rows = list(reader)
columns = rows[0]
data = rows[1:]
def migrate_scoreboard() -> None:
if "repo_name" in columns:
return
columns.insert(1, "repo_name")
for row in data:
row.insert(1, "")
migrate_scoreboard()
else:
columns = fixed_headers
columns = [
"",
"last_edit",
"total",
]
data = []
submitter_found = False
@ -77,7 +69,8 @@ def generate_scoreboard(
submitter_found = True
break
if not submitter_found:
submitter_row = fixed_defaults + [""] * (len(columns) - len(fixed_headers))
fixed_columns = [submitter, "", "0"]
submitter_row = fixed_columns + [""] * (len(columns) - len(fixed_columns))
data.append(submitter_row)
# Update data
@ -92,9 +85,9 @@ def generate_scoreboard(
exercise_name = comment.split("-")[0]
# Find if exercise in table:
if exercise_name not in columns:
column_tail = columns[len(fixed_headers) :]
column_tail = columns[3:]
bisect.insort(column_tail, exercise_name)
columns[len(fixed_headers) :] = column_tail
columns[3:] = column_tail
index = columns.index(exercise_name)
for row in data:
row.insert(index, "")
@ -108,22 +101,17 @@ def generate_scoreboard(
total = 0
for col in columns:
if col in fixed_headers:
if col in ["", "total", "last_edit"]:
continue
idx = columns.index(col)
if (submitter_row[idx] is not None) and (submitter_row[idx] != ""):
try:
total += int(submitter_row[idx])
except ValueError:
pass
total += int(submitter_row[idx])
submitter_row[columns.index("total")] = str(total)
now = datetime.now().strftime("%Y-%m-%d %H:%M:%S")
submitter_row[columns.index("last_edit")] = now
submitter_row[columns.index("repo_name")] = submitter_repo_name
# Sort data by total, from low to high
data.sort(key=lambda x: int(x[columns.index("total")]))
@ -248,7 +236,9 @@ def generate_title_and_comment(
"[Joint-Teapot](https://github.com/BoYanZh/Joint-Teapot) with ❤️.\n"
)
if penalty_factor != 1.0:
comment += f"## ⚠Total Score Penalty Warning⚠\n**The total score is multiplied by {penalty_factor}.**\n"
comment += (
f"## Total Score Penalty Warning\nThe total score is multiplied by 0.75.\n"
)
for stage in stages:
if all(
result["score"] == 0 and result["comment"].strip() == ""
@ -270,7 +260,7 @@ def generate_title_and_comment(
total_score += result["score"]
comment += "\n"
if penalty_factor != 1.0:
total_score = round(total_score - abs(total_score) * (1 - penalty_factor))
total_score = round(total_score * penalty_factor)
title = get_title_prefix(exercise_name, submitter, submitter_in_title)
if max_total_score >= 0:
title += f"{total_score} / {max_total_score}"
@ -317,10 +307,8 @@ def get_penalty_factor(
) -> float:
if not end_time or not penalty_config:
return 1.0
now = datetime.now()
if now < end_time:
return 1.0
penalties = parse_penalty_config(penalty_config)
now = datetime.now()
res = 0.0
for hour, factor in penalties[::-1]:
if now < end_time + timedelta(hours=hour):

View File

@ -35,7 +35,7 @@ class Canvas:
# types = ["student", "observer"]
types = ["student"]
def patch_user(student: User) -> User:
def patch_student(student: User) -> User:
student.name = (
re.sub(r"[^\x00-\x7F]+", "", student.name).strip().title()
) # We only care english name
@ -44,7 +44,7 @@ class Canvas:
return student
self.students = [
patch_user(student)
patch_student(student)
for student in self.course.get_users(enrollment_type=types)
]
for attr in ["login_id", "name"]:
@ -52,7 +52,6 @@ class Canvas:
raise Exception(
f"Unable to gather students' {attr}, please contact the Canvas site admin"
)
self.users = [patch_user(student) for student in self.course.get_users()]
logger.debug("Canvas students loaded")
self.assignments = self.course.get_assignments()
logger.debug("Canvas assignments loaded")
@ -61,12 +60,12 @@ class Canvas:
self.grade_filename = grade_filename
logger.debug("Canvas initialized")
def export_users_to_csv(self, filename: Path) -> None:
def export_students_to_csv(self, filename: Path) -> None:
with open(filename, mode="w", newline="") as file:
writer = csv.writer(file)
for user in self.users:
writer.writerow([user.name, user.sis_id, user.login_id])
logger.info(f"Users exported to {filename}")
for student in self.students:
writer.writerow([student.name, student.sis_id, student.login_id])
logger.info(f"Students exported to {filename}")
def prepare_assignment_dir(
self, dir_or_zip_file: str, create_grade_file: bool = True

View File

@ -103,10 +103,7 @@ class Git:
"logs/HEAD.lock",
"packed-refs.lock",
"config.lock",
f"refs/heads/{current_branch}.lock",
f"refs/remotes/origin/{current_branch}.lock",
f"refs/heads/{checkout_dest}.lock",
f"refs/remotes/origin/{checkout_dest}.lock",
]
for lock_file in lock_files:
lock_path = os.path.join(repo_dir, ".git", lock_file)