Update github action version (#1003)

Author: fcollonval

.github/workflows/binder-on-pr.yaml

@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: comment on PR with Binder link
-      uses: actions/github-script@v1
+      uses: actions/github-script@v3
       with:
         github-token: ${{secrets.GITHUB_TOKEN}}
         script: |