diff options
Diffstat (limited to '.github/workflows/check_misc.yml')
-rw-r--r-- | .github/workflows/check_misc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check_misc.yml b/.github/workflows/check_misc.yml index a59313fad5..8cdc9e40b8 100644 --- a/.github/workflows/check_misc.yml +++ b/.github/workflows/check_misc.yml @@ -14,7 +14,7 @@ jobs: contents: write # for Git to git push runs-on: ubuntu-latest steps: - - uses: actions/checkout@24cb9080177205b6e8c946b17badbe402adc938f # v3.4.0 + - uses: actions/checkout@8f4b7f84864484a7bf31766abe9204da3cbe65b3 # v3.5.0 - name: Check if C-sources are US-ASCII run: | ! grep -r -n '[^ -~]' -- *.[chy] include internal win32/*.[ch] |