Commit Graph

108 Commits

Author SHA1 Message Date
TheFrenchGhosty c98c7d47db Better message for the Stale action 2020-12-02 17:13:31 +01:00
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