[mridang]

Description

This pull request introduces the pull_request trigger in place of the push trigger for the CI check workflows (lint, format check, test, dependency checks and similar). Release, deployment and end-to-end workflows are not changed.

Related Issue

Closes #23

Motivation and Context

A check that runs on the push event of a branch tests only that branch, so a pull request can pass while master has moved on and then fail after the merge. The pull_request event tests the merge result of the branch with master, which is what actually lands, so a green pull request now means a green master. The checks are unchanged apart from the trigger, so their names and required status checks keep working.

How Has This Been Tested?

The changed workflows run on this pull request itself, and the pull request is only merged once they are green.

Documentation:

Not applicable.

Checklist:

• I have updated the documentation accordingly.
• I have assigned the correct milestone or created one if non-existent.
• I have correctly labeled this pull request.
• I have linked the corresponding issue in this description.
• I have requested a review from at least 2 reviewers
• I have checked the base branch of this pull request
• I have checked my code for any possible security vulnerabilities