From f2031e7d0017758fafe3f29a486e62f6aafdc594 Mon Sep 17 00:00:00 2001
From: Matan Kushner <hello@matchai.me>
Date: Wed, 16 Oct 2019 00:32:41 +0900
Subject: [PATCH] ci: Ignore doc changes on pull_request events

---
 .github/workflows/workflow.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 0bc9139c..630de1dc 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -4,7 +4,10 @@ on:
     paths-ignore:
       - "docs/**"
       - "**.md"
-  pull_request: []
+  pull_request:
+    paths-ignore:
+      - "docs/**"
+      - "**.md"
 
 jobs:
   # Run the `rustfmt` code formatter