Also add workflow_dispatch to S3 push step (#631)

Author: jacobtomlinson

.github/workflows/build-and-deploy.yml

@@ -42,7 +42,7 @@ jobs:
           role-duration-seconds: 3600 # 1h
 
       - name: Sync HTML files to S3
-        if: ${{ github.repository == 'rapidsai/deployment' && github.event_name == 'push' }}
+        if: ${{ github.repository == 'rapidsai/deployment' && (github.event_name == 'push' || github.event_name == 'workflow_dispatch') }}
         env:
           DESTINATION_DIR: ${{ startsWith(github.event.ref, 'refs/tags/') && 'stable' || 'nightly' }}
         run: aws s3 sync --no-progress --delete build/dirhtml "s3://rapidsai-docs/deployment/html/${DESTINATION_DIR}"