Skip to content

Build mdbook in remark workflow #9005

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 16, 2022
Merged

Build mdbook in remark workflow #9005

merged 1 commit into from
Jun 16, 2022

Conversation

flip1995
Copy link
Member

r? @xFrednet

Supersedes #8959

changelog: none

This is just to ensure that the book builds all time to not get in trouble when syncing with rust-lang/rust
@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Jun 16, 2022
@flip1995
Copy link
Member Author

@bors try

bors added a commit that referenced this pull request Jun 16, 2022
Build mdbook in remark workflow

r? `@xFrednet`

Supersedes #8959

changelog: none
@bors
Copy link
Contributor

bors commented Jun 16, 2022

⌛ Trying commit 980d88e with merge d40e1b4...

@bors
Copy link
Contributor

bors commented Jun 16, 2022

☀️ Try build successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Build commit: d40e1b4 (d40e1b499d425e98ed0bf9943071a25bce00b690)

@xFrednet
Copy link
Member

xFrednet commented Jun 16, 2022

Looks good to me, happy to see more progress on the book 💪

@bors r+

@bors
Copy link
Contributor

bors commented Jun 16, 2022

📌 Commit 980d88e has been approved by xFrednet

@bors
Copy link
Contributor

bors commented Jun 16, 2022

⌛ Testing commit 980d88e with merge 9edd641...

@bors
Copy link
Contributor

bors commented Jun 16, 2022

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: xFrednet
Pushing 9edd641 to master...

@bors bors merged commit 9edd641 into rust-lang:master Jun 16, 2022
@flip1995 flip1995 deleted the book_ci_2 branch June 16, 2022 13:29
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants