From 2e7b0d0a5864180d5d51a96d36eacb25dac587e9 Mon Sep 17 00:00:00 2001
From: Marcel Gaupp <m.gaupp@tum.de>
Date: Fri, 20 Dec 2024 19:54:51 +0100
Subject: [PATCH] Split pipe for type checks

---
 .../manage/programming-exercise-detail.component.ts            | 3 +++
 1 file changed, 3 insertions(+)

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),
                     ),