!!!

leanprover-community · Feb 21, 2020 · e50512b · e50512b
1 parent f0175ce
commit e50512b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -54,7 +54,7 @@ jobs:
         run: |
           archive_name="$(git rev-parse HEAD).tar.gz"
           tar czf "$archive_name" src
-          azcopy copy "$archive_name" "${{ secrets.AZURE_SAS_TOKEN }} --block-size-mb 99"
+          azcopy copy "$archive_name" "${{ secrets.AZURE_SAS_TOKEN }}" --block-size-mb 99
 
       - name: tests
         run: |