Add manual trigger to CI workflow #9360
Description
Our current GitHub actions CI workflow runs at a set time interval and when it detects a new commit.
We should add the option to manually trigger the workflow as well.
{{ message }}
Our current GitHub actions CI workflow runs at a set time interval and when it detects a new commit.
We should add the option to manually trigger the workflow as well.