| commit | 49326ebb98ab4ac9e459b13d8773458024658eb4 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Apr 21 22:12:31 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Apr 21 22:12:31 2024 -0400 |
| tree | c2e340f9e6b1134db4c6990a71287ee71549626e | |
| parent | 5c701fc62be740d1b24f56b1cc81d2cd87a03bbe [diff] [blame] |
ci: python3-minimal is insufficient Change-Id: I5f09ad2dabee72fd5187ffa028431c6346988598
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d3110a4..7029313 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml
@@ -1,6 +1,13 @@ name: CI on: push: + paths-ignore: + - 'Dockerfile' + - '.dockerignore' + - '.editorconfig' + - '.gitignore' + - '.mailmap' + - '*.md' workflow_dispatch: permissions: {}