Merge bb656e185579594393dd49dc9e6296c33338bdb4 into f548e57e544e1ff5a4c46bf1e1b8685f8e4a348a

This commit is contained in:
Varun Sharma 2026-07-22 00:36:38 -04:00 committed by GitHub
commit ea1c61a5bb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -17,8 +17,12 @@ on:
- '**.md'
workflow_dispatch:
permissions: read-all
jobs:
check-dist:
permissions:
contents: read # for actions/checkout to fetch code
runs-on: ubuntu-latest
steps: