Move Travis job to a GitHub action #46
Description
Currently the Travis job is broken, following the move from travis-ci.org to travis-ci.com.
A GitHub action to be run on demand is probably more appropriate.
{{ message }}
Currently the Travis job is broken, following the move from travis-ci.org to travis-ci.com.
A GitHub action to be run on demand is probably more appropriate.