diff --git a/src/main/webapp/app/exercises/programming/manage/programming-exercise-detail.component.ts b/src/main/webapp/app/exercises/programming/manage/programming-exercise-detail.component.ts index 4b7fc8745845..9f485ad55955 100644 --- a/src/main/webapp/app/exercises/programming/manage/programming-exercise-detail.component.ts +++ b/src/main/webapp/app/exercises/programming/manage/programming-exercise-detail.component.ts @@ -234,6 +234,9 @@ export class ProgrammingExerciseDetailComponent implements OnInit, OnDestroy { this.processGitDiffReport(gitDiffReport); } }), + ) + // split pipe to keep type checks + .pipe( mergeMap(() => this.programmingExercise.isAtLeastEditor ? this.programmingExerciseService.getBuildLogStatistics(exerciseId!) : of([] as BuildLogStatisticsDTO), ),