Update lint.yml

This commit is contained in:
Victor Zverovich 2024-06-05 21:04:46 -07:00 committed by GitHub
parent 5c445bc42c
commit db9365a11b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -29,7 +29,7 @@ jobs:
if [ -s fmt.patch ]; then
exit 1
fi
- uses: actions/github-script@v7
- uses: actions/github-script@e69ef5462fd455e02edcaf4dd7708eda96b9eda0 # v7
if: failure() && steps.clang_format.outcome == 'failure'
with:
script: |