diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9246c858..8a9817ce 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,8 @@ name: CI on: push: + paths-ignore: + - "**.md" branches: - master - dev diff --git a/.github/workflows/echidna.yml b/.github/workflows/echidna.yml index e401bab9..7f3490b6 100644 --- a/.github/workflows/echidna.yml +++ b/.github/workflows/echidna.yml @@ -2,6 +2,10 @@ name: Echidna on: push: + paths-ignore: + - "**.md" + - "**.rs" + - "**.py" branches: - master - dev