This website works better with JavaScript.
Home
Issues
Pull Requests
Milestones
Repositories
Datasets
Forum
实训
竞赛
大数据
应用
Register
Sign In
youys
/
Discord.Net
Not watched
Unwatch
Watch all
Watch but not notify
1
Star
0
Fork
0
Code
Releases
34
Wiki
Activity
Issues
0
Pull Requests
0
Datasets
Model
Cloudbrain
Browse Source
ci: do not exit on failed robocopy
pull/1405/head
Christopher Felegy
5 years ago
parent
a8cdadc0ec
commit
fd204eeb7b
No known key found for this signature in database
GPG Key ID:
3AB2CA980DDC61A9
1 changed files
with
1 additions
and
1 deletions
Split View
Diff Options
Show Stats
Download Patch File
Download Diff File
+1
-1
azure/docs.bat
+ 1
- 1
azure/docs.bat
View File
@@ -6,7 +6,7 @@ ECHO Y | RMDIR /S docs-static\latest || EXIT /B 1
ECHO build docs
docfx.console\tools\docfx.exe docs/docfx.json -o docs-staging || EXIT /B 1
ROBOCOPY docs-staging\_site docs-static\latest /MIR
/TEE || EXIT /B 1
ROBOCOPY docs-staging\_site docs-static\latest /MIR
ECHO commit and deploy
git config --global user.name "Discord.Net CI Robot" && git config --global user.email "robot@foxbot.me"
Write
Preview
Loading…
Cancel
Save