Commit 3867595c authored by Brandon Chinn's avatar Brandon Chinn

Revert Dockerfile removal in CI paths

parent 31648b4f
...@@ -7,6 +7,7 @@ on: ...@@ -7,6 +7,7 @@ on:
paths-ignore: paths-ignore:
- 'demo/**' - 'demo/**'
- 'docker/**' - 'docker/**'
- 'Dockerfile'
- '.dockerignore' - '.dockerignore'
- '.ghci' - '.ghci'
- '.gitignore' - '.gitignore'
...@@ -19,6 +20,7 @@ on: ...@@ -19,6 +20,7 @@ on:
paths-ignore: paths-ignore:
- 'demo/**' - 'demo/**'
- 'docker/**' - 'docker/**'
- 'Dockerfile'
- '.dockerignore' - '.dockerignore'
- '.ghci' - '.ghci'
- '.gitignore' - '.gitignore'
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment