You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At the moment, a nightly release can be started by pushing to the trigger-nightly branch. The reason for this is historical -- this functionality had been implemented before github actions added "trigger workflow manually" feature. We probably should switch to the manual triggers, so that a new release can be conveniently kicked directly from a PR. We need to verify that a manual trigger would still allow to trigger on arbitrary commit though.
The text was updated successfully, but these errors were encountered:
At the moment, a nightly release can be started by pushing to the
trigger-nightly
branch. The reason for this is historical -- this functionality had been implemented before github actions added "trigger workflow manually" feature. We probably should switch to the manual triggers, so that a new release can be conveniently kicked directly from a PR. We need to verify that a manual trigger would still allow to trigger on arbitrary commit though.The text was updated successfully, but these errors were encountered: