diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/annocheck.yml | 2 | ||||
-rw-r--r-- | .github/workflows/compilers.yml | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/annocheck.yml b/.github/workflows/annocheck.yml index e232b3bd4b..7c26f9276d 100644 --- a/.github/workflows/annocheck.yml +++ b/.github/workflows/annocheck.yml @@ -12,12 +12,14 @@ on: paths-ignore: - 'doc/**' - '**/man' + - '**.md' - '**.rdoc' - '**/.document' merge_group: paths-ignore: - 'doc/**' - '**/man' + - '**.md' - '**.rdoc' - '**/.document' diff --git a/.github/workflows/compilers.yml b/.github/workflows/compilers.yml index 02367847d3..f28b707f23 100644 --- a/.github/workflows/compilers.yml +++ b/.github/workflows/compilers.yml @@ -12,12 +12,14 @@ on: paths-ignore: - 'doc/**' - '**/man' + - '**.md' - '**.rdoc' - '**/.document' merge_group: paths-ignore: - 'doc/**' - '**/man' + - '**.md' - '**.rdoc' - '**/.document' |