I noticed that in #2, the GitHub actions don't activate. I checked it out and it only activates on push, not on pull request or merge group (used in projects with a merge queue).
This PR fixes that, in order to work with the instructions in assignment 2, part 2.
I noticed that in #2, the GitHub actions don't activate. I checked it out and it only activates on push, not on pull request or merge group (used in projects with a merge queue).
This PR fixes that, in order to work with the instructions in assignment 2, part 2.
Fixes #5