Merge pull request rust-lang#139 from Xanewok/bors-merge

Xanewok · web-flow · commit 6a54d64ca00a · 2020-11-07T13:48:02.000Z
Trigger CI for bors-managed `auto` branch
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,6 +6,8 @@ on:
   push:
     branches:
       - master
+      # Managed by bors
+      - auto
 
 jobs:
   build_and_test:
