Split pipe for type checks

ls1intum · Dec 20, 2024 · 2e7b0d0 · 2e7b0d0
1 parent d86e4c6
commit 2e7b0d0
Showing 1 changed file with 3 additions and 0 deletions.
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
@@ -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),
                     ),