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 2360630544 - Show all commits

View File

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