more non-null

Author: FelixTJDietrich

server/application-server/openapi.yaml

@@ -1392,6 +1392,9 @@ components:
           format: int32
         login:
           type: string
+      required:
+      - leaguePointsChange
+      - login
     MetaData:
       type: object
       properties:

server/application-server/src/main/java/de/tum/in/www1/hephaestus/leaderboard/LeagueChangeDTO.java

@@ -1,6 +1,8 @@
 package de.tum.in.www1.hephaestus.leaderboard;
 
+import org.springframework.lang.NonNull;
+
 public record LeagueChangeDTO(
-    String login,
-    int leaguePointsChange
+    @NonNull String login,
+    @NonNull Integer leaguePointsChange
 ) {}

webapp/src/api/types.gen.ts

@@ -365,8 +365,8 @@ export type LeaderboardEntry = {
 };
 
 export type LeagueChange = {
-    leaguePointsChange?: number;
-    login?: string;
+    leaguePointsChange: number;
+    login: string;
 };
 
 export type MetaData = {