Merge pull request #109 from lzutao/miri-actions-only

Gate miri on GHA only

Author: pietroalbini

cfg.production.toml

@@ -311,10 +311,6 @@ auto = "auto"
 secret = "${HOMU_WEBHOOK_SECRET_MIRI}"
 [repo.miri.checks.actions]
 name = "bors build finished"
-[repo.miri.checks.travis]
-name = "Travis CI - Branch"
-[repo.miri.status.appveyor]
-context = "continuous-integration/appveyor/branch"
 
 ############
 #  Crater  #