cn 7c0722e875 ci: use Github Actions in parallel to Travis CI ... - this adds a new workflow for Github Actions that mirrors what the existing Travis CI workflow tests - Travis CI might become unfriendly to opensource soonish so migration might be necessary		2020-12-04 09:14:32 +01:00
..
workflows	ci: use Github Actions in parallel to Travis CI	2020-12-04 09:14:32 +01:00