Rename workflow to match file name

Author: flochaz

Diff for: .github/workflows/pr_lint_and_test.yml

@@ -1,4 +1,4 @@
-name: on-push-event
+name: pr-lint-and-test
 on:
   pull_request:
     types: [opened, synchronize]
@@ -43,4 +43,4 @@ jobs:
         uses: romeovs/[email protected]
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
-          lcov-file: ./coverage/lcov.info
+          lcov-file: ./coverage/lcov.info