Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Enhancement: Use actions/checkout to check out documentation #207

Merged
merged 1 commit into from
Mar 18, 2020
Merged

Enhancement: Use actions/checkout to check out documentation #207

merged 1 commit into from
Mar 18, 2020

Conversation

localheinz
Copy link
Contributor

@localheinz localheinz commented Mar 13, 2020 •
edited
Loading

This PR

  • uses actions/checkout to check out the documentation

@localheinz localheinz marked this pull request as ready for review March 17, 2020 08:55
@Kharhamel
Copy link
Collaborator

What does this change compared to the previous version?

@localheinz
Copy link
Contributor Author

@Kharhamel

It's faster, and it does not depend on update.sh.

@localheinz
Copy link
Contributor Author

Build failure is fixed in #211.

@Kharhamel Kharhamel merged commit e673b9d into thecodingmachine:master Mar 18, 2020
@localheinz localheinz deleted the feature/checkout branch March 18, 2020 15:12
@localheinz
Copy link
Contributor Author

Thank you, @Kharhamel and @OskarStark!

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@OskarStark OskarStark OskarStark 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
@localheinz @Kharhamel @OskarStark