From 985b0244dae306c8e436da234a8bd4c8c322acf5 Mon Sep 17 00:00:00 2001 From: Takashi Kokubun Date: Sat, 14 Oct 2023 23:27:01 -0700 Subject: [PATCH] Revert an unneeded if on check_misc nobu says he wants to run this on [DOC] commits as well. --- .github/workflows/check_misc.yml | 8 -------- 1 file changed, 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: