mirror of
https://github.com/fluencelabs/wasmer
synced 2024-12-05 02:20:19 +00:00
Only commit if there are files to commit
This commit is contained in:
parent
84beb446d9
commit
991a777f72
2
Makefile
2
Makefile
@ -314,7 +314,7 @@ docs-publish:
|
||||
git clone -b "gh-pages" --depth=1 https://wasmerbot:$(GITHUB_DOCS_TOKEN)@github.com/wasmerio/wasmer.git api-docs-repo
|
||||
cp -R api-docs/* api-docs-repo/
|
||||
cd api-docs-repo && git add index.html rust/* c/*
|
||||
cd api-docs-repo && git commit -m "Publishing GitHub Pages ***CI***"
|
||||
cd api-docs-repo && (git diff-index --quiet HEAD || git commit -m "Publishing GitHub Pages")
|
||||
cd api-docs-repo && git push origin gh-pages
|
||||
|
||||
wapm:
|
||||
|
Loading…
Reference in New Issue
Block a user