master

openturns · Sep 19, 2024 · 743df05 · 743df05
1 parent 0311d2c
commit 743df05
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -39,6 +39,5 @@ jobs:
           git add -A .
           if test `git diff HEAD | wc -c` -eq 0; then exit 0; fi
           git commit -a -m "GitHub Actions build ${GITHUB_REPOSITORY} ${GITHUB_RUN_ID}"
-          git push --quiet origin main
-          # > /dev/null 2>&1
+          git push --quiet origin master > /dev/null 2>&1