Spaces:

ayushnoori
/

program-synthesis

Running

ayushnoori commited on Oct 28, 2023

Commit

b69f412

1 Parent(s): 7496f58

Update actions

Files changed (1) hide show

.github/workflows/sync_to_space.yml CHANGED Viewed

@@ -19,8 +19,8 @@ jobs:
       - name: Overwrite 'spaces' with 'main'
         run: |
-          git checkout spaces
-          git reset --hard main
       - name: Delete 'README.md'
         run: |

       - name: Overwrite 'spaces' with 'main'
         run: |
+          git fetch origin main:main
+          git reset --hard main
       - name: Delete 'README.md'
         run: |