57 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
TheFrenchGhosty	f4bb854372	Update the Stale bot config with a 1 month delay between mark and close	2020-12-02 16:00:58 +01:00
TheFrenchGhosty	d04b8e2fc6	Add the Stale bot config	2020-12-02 15:53:26 +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