Remove Travis from this repo #273

Closed

Labels

opened

on Feb 15, 2021

Quite likely, the CircleCI tests cover everything already (but needs some double-checking).

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests