CI: repair the worflow definition
CI: repair the worflow definition

The `workflow_dispatch` event is used for triggering manual jobs,
`workflow_jobs` is for consumption of other jobs.

Correct a typo in the checkout action name.

Disable the Windows ARM64 build target as cross-compilation does not
currently work.

google/bloaty,google/bloaty,google/bloaty