Migrate hashbrown to Github Actions

Amanieu · web-flow · commit 8110ecf03658 · 2021-05-28T10:16:15.000+01:00
diff --git a/cfg.production.toml b/cfg.production.toml
@@ -304,8 +304,8 @@ try_users = []
 auto = "auto"
 [repo.hashbrown.github]
 secret = "${HOMU_WEBHOOK_SECRET_HASHBROWN}"
-[repo.hashbrown.checks.travis]
-name = "Travis CI - Branch"
+[repo.hashbrown.checks.actions]
+name = "bors build finished"
 
 ##########
 #  MIRI  #
