From 1b9607be3f7ef7e7eb061d604323973b058da977 Mon Sep 17 00:00:00 2001
From: Ali Chraghi <alichraghi@pm.me>
Date: Sun, 24 Jul 2022 12:23:15 +0430
Subject: [PATCH] dev: add ci-lint.sh script

---
 dev/ci-lint.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 dev/ci-lint.sh

diff --git a/dev/ci-lint.sh b/dev/ci-lint.sh
new file mode 100755
index 00000000..1e021425
--- /dev/null
+++ b/dev/ci-lint.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+# actionlint: https://github.com/rhysd/actionlint
+actionlint .github/workflows/ci.yml .github/workflows/m1_ci.yml
+