The most recent merge caused the CI to fail. This is although the CI for the pull request passed. It is unknown why this has happened. There was no indication in the pull request that the merge was going to fail. Even if it could have been seen there was no option provided on GitHub to fix the merge issue.
The most recent merge caused the CI to fail. This is although the CI for the pull request passed. It is unknown why this has happened. There was no indication in the pull request that the merge was going to fail. Even if it could have been seen there was no option provided on GitHub to fix the merge issue.