From ccc8da281991f3838d7cb5fc2a901d46e9fde693 Mon Sep 17 00:00:00 2001
From: ClementTsang <cjhtsang@uwaterloo.ca>
Date: Mon, 21 Jun 2021 22:58:04 -0400
Subject: [PATCH] ci: ignore README and docs for ci action

---
 .github/workflows/ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d3ee2fba..637eeff7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -9,9 +9,15 @@ name: ci
 on:
   workflow_dispatch:
   pull_request:
+    paths-ignore:
+      - 'README.md'
+      - 'docs/**'
   push:
     branches:
       - master
+    paths-ignore:
+      - 'README.md'
+      - 'docs/**'
 
 jobs:
   # Check rustfmt