Add pull_request triggers to GHA workflows and fixed check-formatting jobs

[waleed7715]

Fixes #

Proposed Changes

• Added the pull_request triggers to all the GHA workflows to match the circleCI behavior
• Fixed the check-formatting jobs
• Added the missing test from tests.unit5.targets

Any background context you want to provide?

Checklist

Not all points below apply to all pull requests.

• I have added a new feature and have added tests to go along with it.
• I have fixed a bug and have added a regression test.
• I have added a test using random numbers; I have made sure it uses a seed, and that random numbers generated are valid inputs for the tests.

[StellarBot]

Can one of the admins verify this patch?

[hkaiser]

LGTM, thanks!