Open mojo2012 opened 4 years ago
We should think about adding a proper travis ci config and setup an account there.
Is there still the desire to use Travis? If not, I could try creating a pull request setting up a GitHub workflow instead, see also GitHub Docs article.
cc @shannah
That would be awesome!
We should think about adding a proper travis ci config and setup an account there.