summaryrefslogtreecommitdiff
path: root/.github/workflows/check_misc.yml
diff options
context:
space:
mode:
authorTakashi Kokubun <takashikkbn@gmail.com>2023-10-14 23:27:01 -0700
committerTakashi Kokubun <takashikkbn@gmail.com>2023-10-14 23:27:05 -0700
commit985b0244dae306c8e436da234a8bd4c8c322acf5 (patch)
tree4954912b3c717d6bdc1776d25854d7390983c558 /.github/workflows/check_misc.yml
parent13dafb210e30613e68efa454caebf1d4319a2f09 (diff)
Revert an unneeded if on check_misc
nobu says he wants to run this on [DOC] commits as well.
Diffstat (limited to '.github/workflows/check_misc.yml')
-rw-r--r--.github/workflows/check_misc.yml8
1 files changed, 0 insertions, 8 deletions
diff --git a/.github/workflows/check_misc.yml b/.github/workflows/check_misc.yml
index a487b71393..cd8ae43ff8 100644
--- a/.github/workflows/check_misc.yml
+++ b/.github/workflows/check_misc.yml
@@ -15,14 +15,6 @@ jobs:
runs-on: ubuntu-latest
- if: >-
- ${{!(false
- || contains(github.event.head_commit.message, '[DOC]')
- || contains(github.event.pull_request.title, '[DOC]')
- || contains(github.event.pull_request.labels.*.name, 'Documentation')
- || (github.event_name == 'push' && github.actor == 'dependabot[bot]')
- )}}
-
steps:
- uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608 # v4.1.0
with: