dev #10

Merged
李衍志523370910113 merged 238 commits from dev into master 2025-03-05 16:20:39 +08:00
2 changed files with 4 additions and 4 deletions
Showing only changes of commit f676050575 - Show all commits
joj3_config_generator

View File

@ -25,8 +25,8 @@ def convert(repo_conf: repo.Config, task_conf: task.Config) -> result.Config:
# exact folder difference specified by type
log_path=f"/home/tt/.cache/joj3/{task_conf.task.type_}.log",
expire_unix_timestamp=(
int(task_conf.release.deadline.timestamp())
if task_conf.release.deadline
int(task_conf.release.end_time.timestamp())
if task_conf.release.end_time
else -1
),
actor_csv_path="/home/tt/.config/joj/students.csv", # students.csv position
jon-lee marked this conversation as resolved Outdated

Make this Path.home() default to /home/tt. For now, create a const for this dir.

Make this `Path.home()` default to `/home/tt`. For now, create a const for this dir.

fixed

fixed
@ -66,6 +66,6 @@ def convert_joj1(joj1_conf: joj1.Config) -> task.Config:
task=task.Task(
name=(""),
),
release=task.Release(deadline=None, begin_time=None),
release=task.Release(end_time=None, begin_time=None),
stages=stages,
)

View File

@ -96,7 +96,7 @@ class Stage(BaseModel):
class Release(BaseModel):
deadline: Optional[datetime] = None # RFC 3339 formatted date-time with offset
end_time: Optional[datetime] = None # RFC 3339 formatted date-time with offset
begin_time: Optional[datetime] = None
jon-lee marked this conversation as resolved Outdated

begin_time and end_time to make them match

`begin_time` and `end_time` to make them match

resolved

resolved