There was an error while loading. Please reload this page.
AppVeyor was removed in #940 but is still run for any pushes/PRs. However, it can be removed from the project settings since it does not run anything useful any more.