Some projects rebuild the leanblueprint site when a new PR is merged into the main branch to keep the blueprint updated with the latest progress, e.g., this workflow from carleson.
I imagine there are a range of workflows for this CI step, so this may be difficult to support. But this seems like a nice feature to add to lean-action.
Some projects rebuild the leanblueprint site when a new PR is merged into the main branch to keep the blueprint updated with the latest progress, e.g., this workflow from carleson.
I imagine there are a range of workflows for this CI step, so this may be difficult to support. But this seems like a nice feature to add to
lean-action.