Merge pull request #235 from crytic/dev-paths-ignore

Don't run workflows if only Markdown files are changed

Author: montyly

.github/workflows/ci.yml

@@ -2,6 +2,8 @@ name: CI
 
 on:
   push:
+    paths-ignore:
+      - "**.md"
     branches:
       - master
       - dev

.github/workflows/echidna.yml

@@ -2,6 +2,10 @@ name: Echidna
 
 on:
   push:
+    paths-ignore:
+      - "**.md"
+      - "**.rs"
+      - "**.py"
     branches:
       - master
       - dev