Add workflow_dispatch to the CI workflow so it can be triggered manually.
Add workflow_dispatch to the CI workflow so it can be triggered manually.