.github/workflows/docker.yml: be selective about paths

2025-04-16 03:16:20 +00:00 · 2020-05-08 12:41:30 +08:00 · 2020-05-08 12:41:30 +08:00 · 4b4a4c7dcd
commit 4b4a4c7dcd
parent 39a7445da5
1 changed files with 12 additions and 0 deletions
--- 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