Since we're eyeing at a Windows build, we should also have some CI
system build on Windows, so that developers that do not run it can
access build logs.
Most of the builds currently fail, but that's okay, the intention is
that they become more green over time.
If you are ever spammed by notifications about these on GitHub, disable
these at https://github.com/settings/notifications (scroll to "System"
and the row "Actions").
Lorenz Leutgeb