wait for gh-pages to be updated before map update

w3c · May 14, 2020 · ec7145e · ec7145e
1 parent a98ae07
commit ec7145e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -58,6 +58,10 @@ jobs:
         asset_name: build.zip
         tag: ${{ github.ref }}
         overwrite: true
+    - name: Wait for gh-pages to be updated
+      uses: jakejarvis/wait-action@master
+      with:
+        time: '30s'
     - name: Update URL mapping on W3C site
       uses: fjogeleit/http-request-action@master
       with: