diff options
author | Takashi Kokubun <takashikkbn@gmail.com> | 2023-10-12 17:30:04 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-13 00:30:04 +0000 |
commit | 842d9c0afc525ef02396bf86c722da675bc6f69f (patch) | |
tree | 1fc6aaa19cf7dfdceddabc9452de691e3d7ea1f4 /.github/workflows/ubuntu.yml | |
parent | cdb36dfe7ddb7cbd7ed95e84b24114c8869a7e5e (diff) |
Remove paths-ignore from required status checks (#8646)
Diffstat (limited to '.github/workflows/ubuntu.yml')
-rw-r--r-- | .github/workflows/ubuntu.yml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml index 8922f53b01..661771c730 100644 --- a/.github/workflows/ubuntu.yml +++ b/.github/workflows/ubuntu.yml @@ -8,12 +8,8 @@ on: - '**.rdoc' - '**/.document' pull_request: - paths-ignore: - - 'doc/**' - - '**/man' - - '**.md' - - '**.rdoc' - - '**/.document' + # Do not use paths-ignore for required status checks + # https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/collaborating-on-repositories-with-code-quality-features/troubleshooting-required-status-checks#handling-skipped-but-required-checks merge_group: paths-ignore: - 'doc/**' |