Closed azrogers closed 1 week ago
Apparently we need workflow_dispatch in our CI to dispatch workflows manually? Anyways, this would be helpful for running CI for community PRs that don't trigger the push event.
workflow_dispatch
push
Apparently we need
workflow_dispatch
in our CI to dispatch workflows manually? Anyways, this would be helpful for running CI for community PRs that don't trigger thepush
event.