Tetsuo Kiso a621cd4bb0 Switch from Travis CI to GitHub Actions (#111) ... Fixes #99.		2021-11-07 17:30:55 +01:00
..
workflows	Switch from Travis CI to GitHub Actions (#111)	2021-11-07 17:30:55 +01:00