| commit | 34acd1d702e6b575f94ad9890626280db242bcb1 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 21 13:45:02 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 21 13:45:02 2024 -0400 |
| tree | 85b8372680c51c419f56f589f3c8357bacd01ae6 | |
| parent | cf9feb44c485e7f9c60808bb95a189cce92939db [diff] [blame] |
Add .editorconfig Change-Id: Ifdb0d98f4e3011b70168644c86d9e225df749b15
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ad52af3..4a625ca 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml
@@ -1,6 +1,14 @@ name: CI on: push: + branches: + - '**' + paths-ignore: + - '*.conf.sample*' + - '.editorconfig' + - '.gitignore' + - '.mailmap' + - '*.md' workflow_dispatch: permissions: {}