Merge pull request #7 from dic-iit/fix-github-pages-ci

GitHub Action: Bump the webfactory/ssh-agent to v0.4.1

Author: GiulioRomualdi

.github/workflows/gh-pages.yml

@@ -12,7 +12,7 @@ jobs:
 
     steps:
       - uses: actions/checkout@master
-      - uses: webfactory/ssh-agent@v0.1.1
+      - uses: webfactory/ssh-agent@v0.4.1
         with:
           ssh-private-key: ${{ secrets.SSH_PRIVATE_GH_PAGES }}
       - name: Dependencies