update ci
This commit is contained in:
parent
0ca188057a
commit
69423e3a50
1 changed files with 4 additions and 6 deletions
|
@ -1,14 +1,12 @@
|
|||
cd .ci
|
||||
export COMMIT_MSG=$(python3 print_deploy_message.py)
|
||||
cd ..
|
||||
make ci-build
|
||||
make doc
|
||||
cd build
|
||||
cd LatexPackagesBuild
|
||||
cd build/LatexPackagesBuild
|
||||
git add .
|
||||
git commit -m "${COMMIT_MSG}" || echo "Nothing new to commit"
|
||||
git push --set-upstream origin ${CI_COMMIT_REF_NAME}-build
|
||||
cd ..
|
||||
cd ../..
|
||||
make doc
|
||||
cd build
|
||||
mv LatexPackagesBuild LatexPackages
|
||||
zip -r LatexPackages.zip LatexPackages/ -x '*.git*'
|
||||
zip -r LatexPackagesDocumentation.zip documentation
|
||||
|
|
Loading…
Reference in a new issue