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.
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.