Merge bb656e185579594393dd49dc9e6296c33338bdb4 into 8530928916aaef40f59e6f221989ccb31f5759e7

This commit is contained in:
Varun Sharma 2023-10-14 06:37:00 +08:00 committed by GitHub
commit 3e099e97c2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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: