Skip to content

CI: update mdbook to 0.4.7 #38

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 2 commits into from
Mar 28, 2021
Merged

CI: update mdbook to 0.4.7 #38

merged 2 commits into from
Mar 28, 2021

Conversation

Surendrajat
Copy link
Member

@Surendrajat Surendrajat commented Mar 28, 2021 •
edited
Loading

This PR:

  • updates mdBook version in CI to 0.4.7
  • enables build on PRs too.

I just wanted this commit, but it works fine on the latest version as well.

@Surendrajat Surendrajat requested a review from XVilka March 28, 2021 10:45
@wargio
Copy link
Member

wargio commented Mar 28, 2021

seems to work @XVilka @ITAYC0HEN

@XVilka XVilka merged commit 94a76af into master Mar 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@XVilka XVilka XVilka approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Surendrajat @wargio @XVilka