aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorMartin Braun <martin.braun@ettus.com>2020-01-09 12:27:50 -0800
committerMartin Braun <martin.braun@ettus.com>2020-01-10 19:21:38 -0800
commit4fd06de424850a0b70f6e8e959edcda9fe01f060 (patch)
tree935bd6da97b1587bdf9ac34284f2cee045177d2e /.github
parentgr-digital/costas_loop: use std::norm for |z|^2 (diff)
downloadgnuradio-4fd06de424850a0b70f6e8e959edcda9fe01f060.tar.xz
gnuradio-4fd06de424850a0b70f6e8e959edcda9fe01f060.zip
ci: Fix formatting GitHub action to properly check paths
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/check-pr-formatting.yml7
1 files changed, 3 insertions, 4 deletions
diff --git a/.github/workflows/check-pr-formatting.yml b/.github/workflows/check-pr-formatting.yml
index 681ead780..ae47e85c1 100644
--- a/.github/workflows/check-pr-formatting.yml
+++ b/.github/workflows/check-pr-formatting.yml
@@ -2,8 +2,8 @@ name: Check PR Formatting
on:
pull_request:
- paths:
- - '!volk/'
+ paths-ignore:
+ - 'volk/'
jobs:
build:
@@ -11,9 +11,8 @@ jobs:
steps:
- uses: actions/checkout@v2
- - uses: gnuradio/clang-format-lint-action@v0.5-1
+ - uses: gnuradio/clang-format-lint-action@v0.5-4
with:
source: '.'
exclude: './volk'
extensions: 'h,hpp,cpp,cc'
- clangFormatVersion: 7