From 6b9583e92819031c0df25c900337f64934466dd9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= <francois@garillot.net>
Date: Wed, 23 Sep 2020 17:57:15 -0400
Subject: [PATCH] Don't duplicate CI runs on PR & push

---
 .github/workflows/main.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7d08677..5fe1ef1 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -1,6 +1,9 @@
 name: Rust CI
 on:
   push:
+    branches:
+      - tls
+      - master
   pull_request:
     types: [opened, repoened, synchronize]