Merge develop -> main #2

Merged
alexey.efimchik merged 4 commits from develop into main 2026-04-01 05:01:32 +00:00
Showing only changes of commit 0d31180ec0 - Show all commits

View File

@@ -112,7 +112,7 @@ runs:
CC_METRIC_URL: ${{ inputs.cc_metric_url || vars.CC_METRIC_URL }}
VCS_ACCESS_TOKEN: ${{ inputs.gitea_token || vars.VCS_ACCESS_TOKEN }}
TEAM_NAME: ${{ inputs.team_name || vars.TEAM_NAME || github.repository_owner }}
SERVER: ${{ inputs.server || vars.SERVER }}
SERVER: ${{ inputs.server || vars.SERVER || github.server_url }}
ENABLE_REVIEWER_VERIFICATION: ${{ inputs.enable_reviewer_verification || vars.ENABLE_REVIEWER_VERIFICATION }}
LOG_LEVEL: ${{ inputs.log_level || vars.LOG_LEVEL }}
OPTIONS_TYPE: ${{ inputs.options_type || vars.OPTIONS_TYPE }}