diff options
Diffstat (limited to '.github/workflows/compilers.yml')
| -rw-r--r-- | .github/workflows/compilers.yml | 2 |
1 files changed, 2 insertions, 0 deletions
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' |