chore: fix auto-merged PR

2026-02-10 04:35:03 -05:00 · 2021-12-23 15:53:23 +01:00
parent 25a8d51d2d
commit 2c8dbce3e0
5 changed files with 57 additions and 18 deletions
--- a/.github/workflows/continuous-integration.yaml
+++ b/.github/workflows/continuous-integration.yaml
@@ -292,6 +292,7 @@ jobs:
            echo "Conformance failed, check logs"
            exit 1
          fi
+      # Taring the docs allows for much faster upload speed (from ~3min worst case to ~2s best case)
      - name: Tar docs artifacts
        if: ${{ steps.conformance.outcome == 'success' && !cancelled() }}
        run: |