[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.

[Copilot]

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.

Original prompt

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.

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.