Update src/leaderboard/build_leaderboard.py

src/leaderboard/build_leaderboard.py

@@ -84,6 +84,7 @@ def build_leadearboard_df():
             df['mmluproru'] = df['mmluproru'].fillna(0)
         else:
             df['mmluproru'] = 0
+        print('LEADERBOARD DF: ', df.columns, df.shape)
         leaderboard_df = df[['model','kazakhdasturmc','model_dtype','ppl']]
         leaderboard_df['avg'] = leaderboard_df[['kazakhdasturmc']].mean(axis=1).values
         # print(leaderboard_df.columns)