This repository was archived by the owner on May 29, 2026. It is now read-only.
[WIP] Generate a new workflow that: On workflow_dispatch: Steps: - install dependencies - format - recompile - commit changes to the branch if any (configure the github actions user) Keep it simple.#1940
Closed
Copilot wants to merge 1 commit into
Closed
Commits
Commits on Sep 26, 2025
- committed
