Be aware that changes to the contents of these files will affect the Pull Request in which you make the changes!

For example, if you create a PR that changes one of the Github Actions in this directory, it will be used in the CI for that PR.

You have been warned. 😄