Can we enable CI for legacy systems?

[Ryan Schmidt]

On Jan 25, 2021, at 11:37, Clemens Lang wrote:

> I personally wouldn't have a problem with optional CI steps running on
> other people's machines, as long as that's for pull requests and we
> don't use the results anyhere but to post status information to GitHub.

There would be an advantage to having the CI system on the same local network as the private packages server: not needing to upload private packages through my relatively slow upstream internet connection. Anyway, where we host it is a moot point until there is something to host.