Compare commits

...
Author SHA1 Message Date
Tirsvad 6962decc9f Fetch the framework over HTTPS in the milestone workflow 2026-10-28 23:15:36 +08:00
+13 -2
View File
@@ -53,12 +53,23 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
timeout-minutes: 15 timeout-minutes: 15
steps: steps:
- name: Check out the project and its framework submodule - name: Check out the project
uses: actions/checkout@v4.2.2 uses: actions/checkout@v4.2.2
with: with:
submodules: recursive
token: ${{ secrets.SYNC_TOKEN }} token: ${{ secrets.SYNC_TOKEN }}
# The framework submodule is registered with an SSH address, which the runner
# cannot use. The address is rewritten to HTTPS for this step only, and the token
# goes in through the environment, never on a command line. .gitmodules stays.
- name: Fetch the framework submodule over HTTPS
env:
GIT_CONFIG_COUNT: "2"
GIT_CONFIG_KEY_0: url.https://git.tirsystem.com/.insteadOf
GIT_CONFIG_VALUE_0: ssh://git@git.tirsystem.com:10022/
GIT_CONFIG_KEY_1: http.https://git.tirsystem.com/.extraheader
GIT_CONFIG_VALUE_1: "Authorization: token ${{ secrets.SYNC_TOKEN }}"
run: git submodule update --init --recursive
- name: Make sure curl and jq are available - name: Make sure curl and jq are available
run: bash framework/scripts/ci-publish-milestones.sh ensure-tools run: bash framework/scripts/ci-publish-milestones.sh ensure-tools