Update workflow to push develop to nightly merge

corretto · Jan 17, 2024 · 253fee6 · 253fee6
1 parent 21951cf
commit 253fee6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/refresh-jdk.yml b/.github/workflows/refresh-jdk.yml
@@ -35,3 +35,4 @@ jobs:
               run: |
                 git checkout nightly
                 git merge origin/$LOCAL_BRANCH
+                git push origin nightly