Fix: Prevent pre-commit from running on merged pull requests

This change ensures that the pre-commit workflow only runs on pushes to the repository when the associated pull request has not been merged yet. This prevents unnecessary execution of the workflow on merged PRs, improving efficiency and reducing resource consumption.

.github/workflows/pre-commit.yaml

@@ -10,7 +10,7 @@ on:
 
 jobs:
   pre-commit:
-    if: github.event_name == 'push'
+    if: github.event_name == 'push' && github.event.pull_request.merged == false
     runs-on: ubuntu-latest
 
     steps: