Don't duplicate CI runs on PR & push

2020-09-23 17:57:15 -04:00
parent 958d0b7a27
commit 6b9583e928
1 changed files with 3 additions and 0 deletions
@@ -1,6 +1,9 @@
 name: Rust CI
 on:
  push:
+    branches:
+      - tls
+      - master
  pull_request:
    types: [opened, repoened, synchronize]