From ddb7e09ca60033a2837717328405f82b84ec30c9 Mon Sep 17 00:00:00 2001 From: Paul Gilber Date: Thu, 26 Oct 2023 13:09:15 +0000 Subject: [PATCH] move lint if --- .github/workflows/lint.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index a33967e..0eedf8a 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -13,9 +13,9 @@ on: jobs: lint: runs-on: ubuntu-latest # GitHub-hosted runners: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#supported-runners-and-hardware-resources - if: inputs.yaml == 'true' steps: - name: Clone uses: actions/checkout@v4 # https://github.com/marketplace/actions/checkout - name: YAML Lint + if: inputs.yaml run: yamllint . # yamllint is pre-installed: https://github.com/actions/runner-images/blob/main/images/linux/Ubuntu2204-Readme.md#tools