mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bump dependencies to fix CI (#1610)

This commit is contained in:
Noah Lev 2023-02-17 16:37:19 -08:00 committed by GitHub
parent a5046f57db
commit 491365bd3e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View File

@ -16,8 +16,8 @@ jobs:
env: env:
MDBOOK_VERSION: 0.4.21 MDBOOK_VERSION: 0.4.21
MDBOOK_LINKCHECK_VERSION: 0.7.6 MDBOOK_LINKCHECK_VERSION: 0.7.6
MDBOOK_MERMAID_VERSION: 0.11.2 MDBOOK_MERMAID_VERSION: 0.12.6
MDBOOK_TOC_VERSION: 0.9.0 MDBOOK_TOC_VERSION: 0.11.2
DEPLOY_DIR: book/html DEPLOY_DIR: book/html
BASE_SHA: ${{ github.event.pull_request.base.sha }} BASE_SHA: ${{ github.event.pull_request.base.sha }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}