add new option for push repo (#148)

* ci test push repo - false

* ci test push repo - true

* ci test push repo - auto

* set to correct value
This commit is contained in:
Helvetica Volubi
2026-06-03 01:55:40 +08:00
committed by GitHub
parent 7ada14e6b6
commit 76c504e86f
3 changed files with 21 additions and 8 deletions
+13 -2
View File
@@ -8,20 +8,30 @@ project_id_b="Lophine"
commitid=$(git log --pretty='%h' -1)
mcversion=$(prop mcVersion)
release=$(prop release)
pushRepo=$(prop pushRepo)
release_tag="$mcversion-$commitid"
jarName="$project_id-$mcversion-paperclip.jar"
jarName_dir="lophine-server/build/libs/$jarName"
flag_push_repo=false
flag_release=false
pre=false
if [ "$release" = "1" ]; then
if [ "$release" = "pre" ]; then
pre=true
flag_release=true
make_latest=true
elif [ "$release" = "2" ]; then
flag_push_repo=true
elif [ "$release" = "true" ]; then
flag_release=true
make_latest=true
flag_push_repo=true
fi
if [ "$pushRepo" = "true" ]; then
flag_push_repo=true
elif [ "$pushRepo" = "false" ]; then
flag_push_repo=false
fi
actual_jar=$(ls lophine-server/build/libs/$project_id-paperclip-*.jar 2>/dev/null | head -n 1)
@@ -40,5 +50,6 @@ echo "pre=$pre" >> $GITHUB_ENV
echo "tag=$release_tag" >> $GITHUB_ENV
echo "jar=$jarName" >> $GITHUB_ENV
echo "jar_dir=$jarName_dir" >> $GITHUB_ENV
echo "flag_push_repo=$flag_push_repo" >> $GITHUB_ENV
echo "flag_release=$flag_release" >> $GITHUB_ENV
echo "make_latest=$make_latest" >> $GITHUB_ENV