ci: add log when updating version [skip ci]

This commit is contained in:
Baptiste Augrain 2023-06-13 15:24:24 +02:00
parent aac82d75f4
commit d3db3c1f52

View File

@ -169,12 +169,18 @@ git add .
CHANGES=$( git status --porcelain )
if [[ ! -z "${CHANGES}" ]]; then
echo "${CHANGES}"
dateAndMonth=$( date "+%D %T" )
git commit -m "CI update: ${dateAndMonth} (Build ${GITHUB_RUN_NUMBER})"
if ! git push origin master --quiet; then
git pull origin master
git push origin master --quiet
fi
else
echo "No changes"
fi
cd ..