lionsdev/lions-user-manager-server-api
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactoring

Browse Source
This commit is contained in:
dahoud
2026-02-18 17:05:45 +00:00
parent 98215b8395
commit dedfe0be4c
2 changed files with 3 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
script/publish-api.bat
View File

@@ -24,11 +24,7 @@ if %errorlevel% neq 0 echo [WARN] Parent pom deja publie pour cette version (409
echo.
echo [2/2] Publication du server-api...
call mvn deploy -DskipTests
if %errorlevel% neq 0 (
echo [ERROR] Echec de la publication du server-api.
echo [INFO] Si 409 : incrementer la version dans pom.xml et parent-pom.xml avant de republier.
exit /b %errorlevel%
)
if %errorlevel% neq 0 echo [WARN] Server-api deja publie pour cette version (409) - incrementer la version pour republier.
echo.
echo Done -- https://git.lions.dev/lionsdev/-/packages