GHA: pin dependencies

Closes #13628
This commit is contained in:
renovate[bot] 2024-05-15 09:39:30 +00:00 committed by Daniel Stenberg
parent 17fbed2008
commit 7398037abe
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
24 changed files with 61 additions and 61 deletions

View file

@ -30,12 +30,12 @@ jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4
name: checkout
- name: trim the cmdline docs markdown files
run: find docs/cmdline-opts -name "*.md" ! -name "_*" ! -name MANPAGE.md | xargs -n1 ./.github/scripts/cleancmd.pl
- uses: gaurav-nelson/github-action-markdown-link-check@v1
- uses: gaurav-nelson/github-action-markdown-link-check@5c5dfc0ac2e225883c0e5f03a85311ec2830d368 # v1
with:
use-quiet-mode: 'yes'