Erik Ekman 853258fff0 Switch from travis to github actions for CI ...

travis.org is no longer active

2021-11-27 20:48:02 +01:00

..

ci-linux.yml

Switch from travis to github actions for CI

2021-11-27 20:48:02 +01:00