Pierre Rudloff fe771886d9 Replace Travis with GitHub actions ... travis-ci.org does not run tests anymore		2022-02-07 22:26:33 +01:00
..
workflows	Replace Travis with GitHub actions	2022-02-07 22:26:33 +01:00