branch: externals/compat commit ca5a659f4d0ed9e55c38cb49994bcdcf387c9e5e Author: Daniel Mendler <m...@daniel-mendler.de> Commit: Daniel Mendler <m...@daniel-mendler.de>
Update ci config --- .github/workflows/makefile.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml index 3805541e4a..5deab64355 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: