Closed om26er closed 3 years ago
^ the CI here is still Travis, which we canceled, as we moved (well, want to;) everything to GH actions