ci: add workflow_dispatch so CI can be run on demand

[AdaWorldAPI]

Why

Enabling Actions on a repository does not retroactively create runs for events that already happened, and this workflow had no manual trigger. So after the Actions setting was turned on there was no way to prove it worked short of waiting for the next push.

workflow_dispatch is also the honest way to re-run after provisioning a self-hosted runner or installing libz3 — rather than pushing an empty commit to kick CI.

It already earned its keep

Dispatching against this branch produced run #1 — the first workflow run in this repository's history (33054949941). That confirmed the Actions toggle worked, which nothing else could have shown.

It also surfaced the next blocker immediately: all three dispatched jobs sit queued with labels: ["self-hosted"] — no runner is registered, so they wait rather than fail. "Queued forever" and "nothing happened" look identical from outside, which is precisely why an on-demand trigger is worth having.

Timing note

This was pushed ~1 minute after #10 merged, so it missed that PR and is stranded on the branch. Same file, separate concern — #10 was the libz3 guard, this is the trigger.

Still open, not addressed here

• No self-hosted runner registered. scripts/setup-runner.sh provisions one (rust, radare2, libz3-dev); it then needs registering under Settings → Actions → Runners.
• release job did not dispatch — only 3 of 4 jobs appeared in the run. Worth checking for a needs:/if: gate, though it's moot while nothing can execute.
• actions/checkout@v6 is unverified. It's the first step of every job, so if that tag doesn't exist every job dies immediately. I could not confirm it — actions/checkout is outside this session's repository scope. If the first real run fails with an action-not-found error, that is the cause and @v4 is the known-good fallback.

---

Generated by Claude Code

[coderabbitai]

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

• Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[cursor]

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_4dbb6e1e-ece7-40c9-bb4c-baf068eb2a06)

[cursor]

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_de7f4798-decb-4cdd-b87d-bb1a6eabf2a0)