Closed wetneb closed 4 years ago
The Travis integration has been broken for a while, and repo admins are not available to fix it.
We should set up CI using GitHub actions as it only requires configuring things by adding files to the repo, which we can do.
The Travis integration has been broken for a while, and repo admins are not available to fix it.
We should set up CI using GitHub actions as it only requires configuring things by adding files to the repo, which we can do.