saltycrys 139017ba7c Switch to GitHub Actions for CI ... Travis CI is slow, builds are first queued up forever and then the builds themselves are slow, too. GitHub Actions run pretty much immediately and are fast. Also separate jobs run at the same time unlike on Travis CI.		2020-12-01 21:45:33 +01:00
..
workflows	Switch to GitHub Actions for CI	2020-12-01 21:45:33 +01:00