From 4b4a4c7dcd6cc71b05f7fb2a16fe23d24f52667f Mon Sep 17 00:00:00 2001
From: Vaibhav Sagar <vaibhavsagar@gmail.com>
Date: Fri, 8 May 2020 12:41:30 +0800
Subject: [PATCH] .github/workflows/docker.yml: be selective about paths

---
 .github/workflows/docker.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 8d428050..f78e0746 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -3,6 +3,18 @@ on:
   push:
     branches:
       - master
+    paths:
+      - '.dockerignore'
+      - 'Dockerfile'
+      - 'LICENSE'
+      - 'ghc-parser/**'
+      - 'html/**'
+      - 'ihaskell-display/**'
+      - 'ihaskell.cabal'
+      - 'ipython-kernel/**'
+      - 'main/**'
+      - 'src/**'
+      - 'stack.yaml'
 jobs:
   build:
     runs-on: ubuntu-latest