chore: sync with Terra 37

This commit is contained in:
windowsboy111
2023-04-02 22:34:47 +08:00
parent be083c4d5d
commit 454fc712b7
34 changed files with 4953 additions and 158 deletions
-7
View File
@@ -38,12 +38,5 @@ jobs:
git config user.signingkey "${{ runner.temp }}/signing_key"
msg="bump(nightly): $(git status | grep modified | sed -r 's@.+/([^/]+)/[^/]+\n?@\1 @g' | tr -d '\n')"
git commit -S -a -m "$msg"
git format-patch HEAD^
git checkout f38
for file in *.patch; do
git apply $file || true
done
rm *.patch
git commit -S -a -m "$msg"
git push -u origin --all
fi
-7
View File
@@ -39,12 +39,5 @@ jobs:
git config user.signingkey "${{ runner.temp }}/signing_key"
msg="bump: $(git status | grep modified | sed -r 's@.+/([^/]+)/[^/]+\n?@\1 @g' | tr -d '\n')"
git commit -S -a -m "$msg"
git format-patch HEAD^
git checkout f38
for file in *.patch; do
git apply $file || true
done
rm *.patch
git commit -S -a -m "$msg"
git push -u origin --all
fi