Gate miri on GHA only

tesuji · tesuji · commit 219085cb957f · 2020-10-20T12:18:11.000+07:00
diff --git a/cfg.production.toml b/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  #
