Update python Docker tag to v3.13.5

Reviewed-on: #102
Reviewed-by: imcompiling <[email protected]>

.gitea/workflows/build_develop.yml

@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
       - name: Install Docker

.gitea/workflows/build_latest.yaml

@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
       - name: Install Docker

Dockerfile

@@ -1,7 +1,7 @@
-FROM python:3.12.3-slim
+FROM python:3.13.5-slim
 
 # install uv
-COPY --from=ghcr.io/astral-sh/uv:0.6.6 /uv /uvx /bin/
+COPY --from=ghcr.io/astral-sh/uv:0.7.12 /uv /uvx /bin/
 
 RUN apt-get update && apt-get -y upgrade && apt-get -y install sqlite3
 

agon/cogs/commands/set.py

@@ -251,6 +251,10 @@ class SetCog(commands.Cog, name="Set command."):
             channel (nextcord.abc.GuildChannel, optional): Channel to register.
                 Is a SlashOption. Limited to text channels, Defaults to None.
         """
+        if interaction.guild is None or interaction.channel is None:
+            agon_logger.warning("Set command was called with an interaction that had no guild or channel.")
+            return
+
         channel_id = interaction.channel.id if not channel else channel.id
 
         with Session(engine) as session:
@@ -262,11 +266,14 @@ class SetCog(commands.Cog, name="Set command."):
             if (group := session.scalar(stmt)) is None:
                 await interaction.response.send_message("Group or Category was not found.", ephemeral=True)
                 return
+            old_channel_id = group.channel_id
             group.channel_id = channel_id
             session.commit()
-            # TODO(imcompiling): delete the message and call send_highscore_message to send a new one. Bug needs fixed
+
-            # first.
+            old_channel = interaction.guild.get_channel(old_channel_id)
-            # 082
+            if old_channel and isinstance(old_channel, nextcord.TextChannel | nextcord.Thread) and group.message_id:
+                await old_channel.get_partial_message(group.message_id).delete()
+
         await interaction.send(f"Registered <#{channel_id}>.", ephemeral=True)
 
     @group.subcommand(

agon/cogs/commands/submission.py

@@ -80,9 +80,7 @@ class SubmissionCog(commands.Cog):
             if (
                 verified_score := await self.verify_score(interaction, score, is_time_record=category.is_time_record)
             ) is None:
-                # This response message will be filled out better once command is split up to
+                # Verify score handles responding. Might change when submit is split up.
-                # know which type it expects...
-                await interaction.response.send_message("Format was incorrect.", ephemeral=True)
                 return
 
             # Create submission verification request or submit score if verification not needed.
@@ -210,9 +208,9 @@ class SubmissionCog(commands.Cog):
             elif re.search("^[0-9](\\.[0-9])?$", score):
                 # need to add 0 in seconds and leading colon and 0
                 score = "0:0" + score
-            elif re.search("^[0]?[0-9]:[0-9]{2}(\\.[0-9])?$", score):
+            elif re.search("^[0][0-9]:[0-9]{2}(\\.[0-9])?$", score):
                 # if there is a minute 10ths place 0, remove
-                score = score.lstrip("0")
+                score = score[1:]
 
         return score
 

agon/utils.py

@@ -358,10 +358,14 @@ async def send_highscore_message(session: Session, guild: nextcord.Guild, group:
         group.message_id = message.id
         session.commit()
     else:
-        # TODO(imcompiling): check what happens when message is deleted.
+        try:
-        # https://gitea.cheezers.org/imcompiling/agon/issues/83
+            message: nextcord.Message = await channel.fetch_message(group.message_id)
-        message: nextcord.Message = await channel.fetch_message(group.message_id)
+            await message.edit(content=highscore_string)
-        await message.edit(content=highscore_string)
+        except nextcord.NotFound:
+            # Message was deleted on discord's side.
+            message: nextcord.Message = await channel.send(highscore_string)
+            group.message_id = message.id
+            session.commit()
 
     return