Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The CI keeps breaking, either because we run out of memory or because something happens with crowdin.
This PR makes three important changes:
cache
to improve the time of building in the CIbuild
to leave a built version of the docsIn this way, now we fully use
Github CI
to build or docs, instead of relying onRender
to do so. NowRender
only deals with hosting the already built website that our newCI
outputs.The new CI works in the following way:
translation
pipeline, so it downloads the translations from crowdin and builds again into the docs.Important: The
translation
pipeline also executes automatically once per week, so in case no PRs are made, but translations exists, they are taken into consideration.