Monitor pull request

This pull request should never be merged but used to trigger the CI