diff options
author | JF <JF002@users.noreply.github.com> | 2022-09-17 21:33:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-17 21:33:43 +0200 |
commit | 30e8353a4f3850201c84427b906618832ef7a766 (patch) | |
tree | 59f307bea87364e7b0720479e335f81ef5349cb0 /.github/workflows | |
parent | b546facaf1235ee8d4643b9060a8451d5ac91274 (diff) | |
parent | 4fdb06acd935f8194251f768cebb6d5e54b0cc00 (diff) |
Merge pull request #1272 from mashuptwice/workflow-ignore-md
Workflow ignore *.md files
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/main.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b8a70b6e..f7af14c5 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -6,10 +6,13 @@ on: branches: [ master, develop ] paths-ignore: - 'doc/**' + - '**.md' pull_request: branches: [ develop ] paths-ignore: - 'doc/**' + - '**.md' + jobs: build-firmware: |