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 +