Test ssh-add

cvc5 · Sep 16, 2024 · 32ef206 · 32ef206
1 parent f99d6db
commit 32ef206
Showing 1 changed file with 8 additions and 10 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -19,20 +19,18 @@ jobs:
         make github
 
     - name: Deploy tutorial on the cvc5 website
-      if: (github.repository == 'cvc5/tutorials') && (github.ref == 'refs/heads/main')
-      env:
-        SSH_AUTH_SOCK: /tmp/ssh_agent.sock
+      #if: (github.repository == 'cvc5/tutorials') && (github.ref == 'refs/heads/main')
       run: |
-        ssh-agent -a $SSH_AUTH_SOCK > /dev/null
+        eval $(ssh-agent -s)
         ssh-add - <<< "${{ secrets.CVC5_WEBSITE_TOKEN }}"
 
         git config --global user.email "[email protected]"
         git config --global user.name "cvc5-bot"
         git clone [email protected]:cvc5/cvc5.github.io.git website/
 
-        rm -r website/tutorials/beginners
-        cp -r beginners/_build/html website/tutorials/beginners
-        cd website/
-        git add tutorials/beginners
-        git commit -m "Deploy tutorials from source repo"
-        git push
+        # rm -r website/tutorials/beginners
+        # cp -r beginners/_build/html website/tutorials/beginners
+        # cd website/
+        # git add tutorials/beginners
+        # git commit -m "Deploy tutorials from source repo"
+        # git push