ci: pin actionlint script (#22324)

This commit is contained in:
Daniel Roe 2023-07-25 17:08:38 +01:00 committed by GitHub
parent 2748e54aec
commit 6f365313c4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,5 +25,5 @@ jobs:
# From https://github.com/rhysd/actionlint/blob/main/docs/usage.md#use-actionlint-on-github-actions # From https://github.com/rhysd/actionlint/blob/main/docs/usage.md#use-actionlint-on-github-actions
- name: Check workflow files - name: Check workflow files
run: | run: |
bash <(curl https://raw.githubusercontent.com/rhysd/actionlint/main/scripts/download-actionlint.bash) bash <(curl https://raw.githubusercontent.com/rhysd/actionlint/590d3bd9dde0c91f7a66071d40eb84716526e5a6/scripts/download-actionlint.bash)
./actionlint -color -shellcheck="" ./actionlint -color -shellcheck=""