Closed avsm closed 4 years ago
This enables GitHub CI, which will in turn activate the CI in #588. It also adds the depext for Cygwin which enables the Windows port to make progress (and fail in the tests)
This enables GitHub CI, which will in turn activate the CI in #588. It also adds the depext for Cygwin which enables the Windows port to make progress (and fail in the tests)