Trigger CI also on push to main
_The documentation is not available anymore as the PR was closed or merged._
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.