workflow #38

Merged
manuel merged 8 commits from feature/docs into dev 2025-09-02 00:55:31 +02:00
Showing only changes of commit 67e7fe35f9 - Show all commits

View File

@@ -27,7 +27,7 @@ jobs:
git pull origin dev
# Intentar hacer merge de dev a la rama feature actual
git merge dev
git merge origin/dev
if ($LASTEXITCODE -eq 0) {
# Si el merge fue exitoso (sin conflictos), hacer push