juliaturc commited on
Commit
044f96f
·
1 Parent(s): cddc898

Fix GitHub action push

Browse files

This fix is suggested by ChatGPT, to be determined if it actually works.

Files changed (1) hide show
  1. .github/workflows/ci.yml +1 -1
.github/workflows/ci.yml CHANGED
@@ -46,4 +46,4 @@ jobs:
46
  - name: Push changes
47
  if: success()
48
  run: |
49
- git push origin HEAD:${{ github.head_ref }}
 
46
  - name: Push changes
47
  if: success()
48
  run: |
49
+ git push origin HEAD:${{ github.ref }}