Skip to content

Update CI install to use latest mdbook, reverting 09753a1#214

Merged
bors[bot] merged 2 commits intomasterfrom
mdbook
Mar 15, 2020
Merged

Update CI install to use latest mdbook, reverting 09753a1#214
bors[bot] merged 2 commits intomasterfrom
mdbook

Conversation

@adamgreig
Copy link
Member

Ref #136

Closes #137

ci/install.sh is updated based on book's copy, but preserving the rustup line and target specification.

@rust-highfive
Copy link

r? @andre-richter

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-resources labels Feb 24, 2020
@therealprof
Copy link
Contributor

Hm, CI doesn't seem happy.

@adamgreig
Copy link
Member Author

Looks like the issue was specifying the specific architecture; mdbook doesn't have musl releases since 0.2.1.

@adamgreig
Copy link
Member Author

@therealprof CI's fixed

@adamgreig
Copy link
Member Author

ping @rust-embedded/resources for approval/merge

Copy link
Member

@jamesmunns jamesmunns left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

bors r+

@bors
Copy link
Contributor

bors bot commented Mar 15, 2020

Build succeeded

@bors bors bot merged commit f1c96f9 into master Mar 15, 2020
@bors bors bot deleted the mdbook branch March 15, 2020 20:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-resources

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Reminder: Back out hardcoded mdbook v0.2.1 version

6 participants