chore: Update CI workflow to prevent duplicate runs for push and PR events

This commit modifies the CI workflow configuration to group runs by workflow name and either PR number or branch name. This change prevents duplicate runs when both push and PR events are triggered for the same commit, enhancing the efficiency of the CI process.

.gitea/workflows/ci.yml

@@ -10,7 +10,11 @@ on:
 # Prevent duplicate runs when pushing to a branch with an open PR
 # This ensures only one workflow runs at a time for the same branch/PR
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event.pull_request.number || github.sha }}
+  # Group by workflow name and either PR number (for PRs) or branch name (for pushes)
+  # This prevents duplicate runs when both push and PR events fire for the same commit
+  # For PRs: uses PR number to group all runs for that PR
+  # For pushes: uses branch ref to group all runs for that branch
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
 
 jobs: