diff options
| author | Daniel Mendler <mail@daniel-mendler.de> | 2023-01-05 09:01:41 +0100 |
|---|---|---|
| committer | Daniel Mendler <mail@daniel-mendler.de> | 2023-01-05 09:01:41 +0100 |
| commit | ca5a659f4d0ed9e55c38cb49994bcdcf387c9e5e (patch) | |
| tree | 671a3b42281e6be42be7ee92ed0b129b0edb1a15 /.github/workflows | |
| parent | 4bfab527f0ff062b82ce1c42c323c1c7382e5082 (diff) | |
Update ci config
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/makefile.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml index 3805541..5deab64 100644 --- a/.github/workflows/makefile.yml +++ b/.github/workflows/makefile.yml @@ -4,9 +4,13 @@ on: push: paths-ignore: - '**.md' + - '**.org' + - '**.texi' pull_request: paths-ignore: - '**.md' + - '**.org' + - '**.texi' jobs: test: |