From eeb87082a9c5cd3eb72ecde71a06831256ef748b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Fri, 22 Nov 2024 08:32:01 +0100
Subject: [PATCH] add actionlint script

---
 .github/workflows/lint-actions.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 .github/workflows/lint-actions.sh

diff --git a/.github/workflows/lint-actions.sh b/.github/workflows/lint-actions.sh
new file mode 100755
index 000000000000..43d6e801caf6
--- /dev/null
+++ b/.github/workflows/lint-actions.sh
@@ -0,0 +1,7 @@
+#!/usr/bin/env nix-shell
+#!nix-shell -i bash -p bash actionlint shellcheck -I nixpkgs=../..
+set -euo pipefail
+
+SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
+cd "$SCRIPT_DIR/../.."
+actionlint