105 Commits

Author	SHA1	Message	Date
TheFrenchGhosty	194694a59b	Replace the Stale bot with a Github action because it has been reported as dead	2020-12-02 17:10:57 +01:00
saltycrys	21c1450e4a	Run CI only once per change	2020-12-02 05:33:42 +01:00
saltycrys	2b6b0e62f4	Add shard caching to CI	2020-12-02 04:40:13 +01:00
saltycrys	0fa1567793	Display lint fixes on lint error	2020-12-02 01:32:19 +01:00
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