making sure that CI commits/mirror only applies to the push event

.github/workflows/ci.yml

@@ -27,7 +27,7 @@
 # | -> Repository Variables (not the Environment Variables)                   |
 # -----------------------------------------------------------------------------
 #
-# ARTIFACTSS: space-separated artifactSs generated by the `make` command.
+# ARTIFACTS: space-separated artifacts generated by the `make` command.
 #
 # MIRROR_URL: the mirror repository URL in an SSH format :
 #   git@<host>:<username>/<repository>
@@ -74,7 +74,7 @@ jobs:
             -   name: "Temporary files"
                 run: "[[ $(find . -type f \\( -name '*.o' -o -name '*.log' -o -name '.env' -o -name '*.so' -o -name '*.a' -o -name '*.gcno' -o -name '*.gcda' \\)) == \"\" ]] && exit 0 || exit 1"
 
-            -   name: "Checking for the artifactS before compilation"
+            -   name: "Checking for the artifacts before compilation"
                 run: "for a in ${{ vars.ARTIFACTS }} ; do [ ! -f \"${a}\" ]; done"
 
             -   name: "Check coding style"
@@ -182,7 +182,7 @@ jobs:
         needs:
             -   "check-push-commits"
         runs-on: "ubuntu-latest"
-        if: "${{ needs.check-push-commits.outputs.continue == '1' && format('refs/heads/{0}', github.event.repository.default_branch) != github.ref }}"
+        if: "${{ needs.check-push-commits.outputs.continue == '1' && github.event_name == 'push' && format('refs/heads/{0}', github.event.repository.default_branch) != github.ref }}"
         steps:
             -   name: "Checkout"
                 uses: "actions/checkout@v4.1.1"