Repository navigation
Deploy platforms.json to website repo - #359
Merged
Merged
Conversation
Use Liquid filters instead for the json template so that we don't get any trailing commas by accident. The previous forloop.last check was insufficient, because there could be another element in the loop that will then not be printed, because it is not maintained. Signed-off-by: Gerwin Klein <[email protected]>
Deploy any changes in the generated platforms.json automatically to the main seL4 website repo. Do nothing if platforms have not changed. A successful push will trigger a corresponding rebuild and deploy on the website repo. Signed-off-by: Gerwin Klein <[email protected]>
corlewis
approved these changes
Nov 3, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
We are already generating a
platforms.jsonfile that is consumed in the website repo for an overview of supported platforms. The main missing step was to deploy it automatically, which is now done here.fix
platforms.jsontemplate: we produced incorrect json if the last entry was a non-maintained platform. Use filters/map + jsonify instead to avoid any future problems of that form.add GitHub deploy step to website repo: copy the generated
platforms.jsoninto a sparse checkout of the website repo and push if there are any changes to the current version. (Sparse checkout to avoid 890 MB download)