3
0
Fork 0
mirror of https://github.com/dtolnay/install.git synced 2025-01-31 07:01:20 +01:00

Merge pull request #20 from dtolnay/pinmdbook

Pin mdbook to 0.4.41
This commit is contained in:
David Tolnay 2025-01-25 01:38:15 -08:00 committed by GitHub
commit a58ffa179b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -11,6 +11,7 @@ jobs:
uses: ./.github/workflows/build.yml uses: ./.github/workflows/build.yml
with: with:
crate: mdbook crate: mdbook
version: 0.4.41 # https://github.com/dtolnay/cxx/issues/1423
permissions: permissions:
contents: write contents: write
secrets: inherit secrets: inherit