mirror of
https://github.com/CarmJos/EasyPlugin.git
synced 2026-06-04 16:48:16 +08:00
ci(deploy): 添加 repo-deploy 配置
This commit is contained in:
@@ -54,7 +54,7 @@ jobs:
|
|||||||
run: |
|
run: |
|
||||||
rm -rf deploy
|
rm -rf deploy
|
||||||
mkdir -vp deploy
|
mkdir -vp deploy
|
||||||
cp -vrf $HOME/local-deploy deploy/
|
cp -vrf $HOME/local-deploy/* deploy/
|
||||||
|
|
||||||
- name: "Configure Git"
|
- name: "Configure Git"
|
||||||
env:
|
env:
|
||||||
@@ -80,7 +80,7 @@ jobs:
|
|||||||
- name: "Push files"
|
- name: "Push files"
|
||||||
run: |
|
run: |
|
||||||
cd deploy
|
cd deploy
|
||||||
git push origin HEAD:gh-pages --force
|
git push origin HEAD:repo --force
|
||||||
|
|
||||||
javadoc-deploy:
|
javadoc-deploy:
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user