dev: add ci-lint.sh script
This commit is contained in:
parent
1356cdd838
commit
1b9607be3f
1 changed files with 4 additions and 0 deletions
4
dev/ci-lint.sh
Executable file
4
dev/ci-lint.sh
Executable file
|
|
@ -0,0 +1,4 @@
|
||||||
|
#!/usr/bin/env bash
|
||||||
|
# actionlint: https://github.com/rhysd/actionlint
|
||||||
|
actionlint .github/workflows/ci.yml .github/workflows/m1_ci.yml
|
||||||
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue