move lint if

paul-gilber · Oct 26, 2023 · ddb7e09 · ddb7e09
1 parent 1f9157c
commit ddb7e09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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