Just as a reference to a related topic: @dabrahams and others are currently investigating problems with Windows CI on GitHub.
Just as a reference to a related topic: @dabrahams and others are currently investigating problems with Windows CI on GitHub.