equal
deleted
inserted
replaced
502 |
502 |
503 def remote_build_history( |
503 def remote_build_history( |
504 ssh: SSH.Session, |
504 ssh: SSH.Session, |
505 isabelle_repos_self: Path, |
505 isabelle_repos_self: Path, |
506 isabelle_repos_other: Path, |
506 isabelle_repos_other: Path, |
507 isabelle_repos_source: String = "https://isabelle.in.tum.de/repos/isabelle", |
507 isabelle_repos_source: String = Isabelle_Cronjob.isabelle_repos_source, |
508 afp_repos_source: String = AFP.repos_source, |
508 afp_repos_source: String = AFP.repos_source, |
509 isabelle_identifier: String = "remote_build_history", |
509 isabelle_identifier: String = "remote_build_history", |
510 self_update: Boolean = false, |
510 self_update: Boolean = false, |
511 push_isabelle_home: Boolean = false, |
511 push_isabelle_home: Boolean = false, |
512 progress: Progress = No_Progress, |
512 progress: Progress = No_Progress, |