From 04aac31d2103e341f6ab43c7c86f25e6b6eb6791 Mon Sep 17 00:00:00 2001 From: Peter Adams Date: Tue, 22 Oct 2024 15:48:39 +0100 Subject: [PATCH] Install yamllint if missing. Motivation: Real github actions hosts have yamllint pre-installed. Docker images through act by default don't. This leads to an annoying workflow for local runs. Modifications: Install yamllint if not found. Result: Both local and hosted github actions should work without modification. --- .github/workflows/soundness.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/soundness.yml b/.github/workflows/soundness.yml index be380c4..6b962a9 100644 --- a/.github/workflows/soundness.yml +++ b/.github/workflows/soundness.yml @@ -202,6 +202,7 @@ jobs: persist-credentials: false - name: Run yamllint run: | + which yamllint >/dev/null || ( apt-get update && apt-get install -y yamllint ) curl -s https://raw.githubusercontent.com/swiftlang/github-workflows/refs/heads/main/.github/workflows/configs/yamllint.yml > /tmp/yamllint.yml yamllint --strict --config-file /tmp/yamllint.yml ${GITHUB_WORKSPACE} python-lint-check: