Trigger CI also on push to main
Currently, new CI (on GitHub Actions) is only triggered on pull requests branches when the base branch is main.

This PR also triggers the CI when a PR is merged to main branch.
_The documentation is not available anymore as the PR was closed or merged._