Add profile index

judge/migrations/0175_add_profile_index.py

@@ -0,0 +1,20 @@
+# Generated by Django 3.2.18 on 2023-11-29 02:26
+
+from django.db import migrations, models
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ("judge", "0174_contest_summary_result"),
+    ]
+
+    operations = [
+        migrations.AddIndex(
+            model_name="profile",
+            index=models.Index(
+                fields=["is_unlisted", "performance_points"],
+                name="judge_profi_is_unli_d4034c_idx",
+            ),
+        ),
+    ]

judge/models/profile.py

@@ -419,6 +419,9 @@ class Profile(models.Model):
         )
 
     class Meta:
+        indexes = [
+            models.Index(fields=["is_unlisted", "performance_points"]),
+        ]
         permissions = (
             ("test_site", "Shows in-progress development stuff"),
             ("totp", "Edit TOTP settings"),