Update leaderboard: fix gpt-5-mini model tag

Author: aorwall

data/leaderboards.json

@@ -70781,7 +70781,7 @@
           "resolved": 56.2,
           "site": "https://platform.openai.com",
           "tags": [
-            "Model: gpt-5-mini",
+            "Model: gpt-5-mini-2025-08-07",
             "Org: OpenAI",
             "System: Attempts - 1",
             "Mini: 2.0.0"
@@ -119504,7 +119504,7 @@
           "resolved": 39.7,
           "site": "https://platform.openai.com",
           "tags": [
-            "Model: gpt-5-mini",
+            "Model: gpt-5-mini-2025-08-07",
             "Org: OpenAI",
             "System: Attempts - 1",
             "Mini: 2.0.0a0"
@@ -192428,7 +192428,7 @@
           "resolved": 56.2,
           "site": "https://mini-swe-agent.com/latest/",
           "tags": [
-            "Model: gpt-5-mini",
+            "Model: gpt-5-mini-2025-08-07",
             "Org: OpenAI",
             "System: Attempts - 1",
             "Mini: 2.0.0",