actionlint: Switch to prebuilt binary instead of docker

Previously `format.sh` and the github workflow used docker or podman
to run actionlint. This now will use an installed version if found,
and will otherwise download and run a prebuilt binary from a github
release.

Signed-off-by: Russell Bryant <[email protected]>

.github/workflows/actionlint.yml

@@ -32,11 +32,6 @@ jobs:
         with:
           fetch-depth: 0
 
-      - name: "Download actionlint"
+      - name: "Run actionlint"
         run: |
-          docker build --tag actionlint - < .github/workflows/actionlint.dockerfile
-
-      - name: "Check workflow files"
-        run: |
-          echo "::add-matcher::.github/workflows/matchers/actionlint.json"
-          docker run --volume="${PWD}:/repo" --workdir=/repo actionlint -color
+          tools/actionlint.sh -color

.gitignore

@@ -199,3 +199,6 @@ hip_compat.h
 
 # Benchmark dataset
 benchmarks/*.json
+
+# Linting
+actionlint

format.sh

@@ -287,27 +287,7 @@ fi
 echo 'vLLM clang-format: Done'
 
 echo 'vLLM actionlint:'
-
-DOCKER=""
-if command -v "docker" &>/dev/null; then
-    DOCKER="docker"
-elif command -v "podman" &>/dev/null; then
-    DOCKER="podman"
-else
-    echo "Docker or Podman are not installed. Please install one if you want to lint GitHub CI configuration."
-fi
-
-actionlint() {
-    if [ -z "$DOCKER" ]; then
-        return
-    fi
-    # Ensure we use the same version of actionlint as CI
-    IMAGE="vllm/actionlint:latest"
-    ${DOCKER} build --tag "${IMAGE}" - < .github/workflows/actionlint.dockerfile
-    ${DOCKER} run --volume="${PWD}:/repo:z" --workdir=/repo "${IMAGE}" -color
-}
-
-actionlint
+tools/actionlint.sh -color
 echo 'vLLM actionlint: Done'
 
 if ! git diff --quiet &>/dev/null; then

tools/actionlint.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+
+if command -v actionlint &> /dev/null; then
+    actionlint "$@"
+    exit 0
+elif [ -x ./actionlint ]; then
+    ./actionlint "$@"
+    exit 0
+fi
+
+# download a binary to the current directory - v1.7.3
+bash <(curl https://raw.githubusercontent.com/rhysd/actionlint/aa0a7be8e566b096e64a5df8ff290ec24fa58fbc/scripts/download-actionlint.bash)
+./actionlint "$@"