bingshuo
/
zhizhi
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: dev-portal-deploy git push error logging 

Co-authored-by: qinfendebingshuo <207279273+qinfendebingshuo@users.noreply.github.com>
Agent-Logs-Url: https://github.com/qinfendebingshuo/guanghulab/sessions/fbf443ce-2f3e-4a23-a3e4-515cc2dda5a7
This commit is contained in:
copilot-swe-agent[bot] 2026-03-25 15:34:37 +00:00
parent f3f172ab1b
commit 89d6ed5499
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/dev-portal-deploy.yml vendored
View File

@ -128,4 +128,4 @@ jobs:
git config user.email "github-actions[bot]@users.noreply.github.com"
git add docs/dev-portal/manifest.json
git diff --cached --quiet && echo "无变更" || git commit -m "📋 开发者门户: 更新频道清单 [${{ steps.detect.outputs.dev_ids }}]"
git push || echo "⚠️ 推送失败"
git push 2>&1 || echo "⚠️ manifest 推送失败（非致命）"