From fd848889a1e46240a72a95840e8ea01378ec2c09 Mon Sep 17 00:00:00 2001 From: Carlo Piovesan Date: Wed, 13 Sep 2023 15:58:55 +0200 Subject: [PATCH] Publish loadable extension on shell.duckdb.org --- .github/workflows/main.yml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index efc618c94..638758134 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -757,13 +757,6 @@ jobs: ./scripts/npm_publish_shell.sh ./scripts/npm_publish_react.sh - - name: Deploy GitHub Page - if: github.ref == 'refs/heads/master' || github.ref == 'refs/heads.main' - run: | - git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY - git fetch origin gh-pages - ./scripts/deploy_pages.sh - - name: Build @duckdb/benchmarks shell: bash run: | @@ -1067,6 +1060,13 @@ jobs: # run: | # CHROME_BIN=`which google-chrome` yarn workspace @duckdb/duckdb-wasm test:chrome:coverage + - name: Deploy GitHub Page + if: github.ref == 'refs/heads/master' || github.ref == 'refs/heads.main' + run: | + git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY + git fetch origin gh-pages + ./scripts/deploy_pages.sh + - name: Package shell: bash run: zip -r duckdb-wasm-packages.zip ./packages