Closed olleolleolle closed 2 years ago
In order to make things more responsive, I propose we pick a new CI.
Perhaps GitHub Actions?
In order to make things more responsive, I propose we pick a new CI.
Perhaps GitHub Actions?