Merge pull request #33 from gboutry/fix/push-to-stable

Allow push on other branch than main
canonical · Jan 24, 2024 · cf0d4dc · cf0d4dc
2 parents 9a0d420 + b4ada9a
commit cf0d4dc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
@@ -16,3 +16,4 @@ jobs:
     with:
       rocks: ${{ needs.modified_rocks.outputs.rocks }}
       publish: true
+      branch: ${{ github.ref }}