ci: allow manual C-header generation on any branch

[alessandroferraioli95]

What

Adds a workflow_dispatch trigger to the Test and deploy workflow so the C-header generation can be run manually against any branch — not only on master pushes — and pushes the result to a matching branch in Auterion/c_library_v2 and Auterion/c_library_v1.

Changes

• .github/workflows/test_and_deploy.yml
  • New workflow_dispatch trigger with an optional clibrary_branch input.
  • Deploy job gate relaxed to github.ref == 'refs/heads/master' || github.event_name == 'workflow_dispatch'.
  • Deploy job exports CLIBRARY_GIT_BRANCHNAME: ${{ inputs.clibrary_branch || github.ref_name }}.
• scripts/update_c_library.sh
  • Reads CLIBRARY_GIT_BRANCHNAME from the environment (defaults to master).
  • For a non-master target: git checkout -B <branch> on top of the freshly-cloned c_library default branch, then force-pushes the regenerated snapshot. Master behavior is unchanged.

update_generated_repos.sh is untouched — it already clones the c_library repos from their default branch, which is the correct base for the snapshot.

How to use (after this is on the default branch)

⚠️ GitHub only reads workflow_dispatch triggers from the copy of the workflow on the repo's default branch. The "Run workflow" button appears only once this change has reached master.

1. Actions → Test and deploy → Run workflow.
2. Select the branch to generate from (e.g. pr-manual_control_status).
3. Optionally set clibrary_branch to override the target branch name (defaults to the selected branch).
4. Run. Tests gate the deploy; on success the generated headers are force-pushed to the matching branch in c_library_v2 and c_library_v1.

Notes

• The target c_library branch is a disposable, autogenerated snapshot rebuilt from scratch on every dispatch (force-pushed) — don't hand-edit it.

🤖 Generated with Claude Code