diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/deploy_static.yml | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/.github/workflows/deploy_static.yml b/.github/workflows/deploy_static.yml deleted file mode 100644 index f465dbc..0000000 --- a/.github/workflows/deploy_static.yml +++ /dev/null @@ -1,47 +0,0 @@ -name: Deploy Website to Github Pages - -on: - push: - branches: ["build"] - workflow_dispatch: - -permissions: - contents: read - pages: write - id-token: write - -concurrency: - group: "pages" - cancel-in-progress: false - -jobs: - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - # switch to build branch - - name: Checkout - uses: actions/checkout@v4 - with: - ref: build - - - name: Setup Pages - uses: actions/configure-pages@v5 - - - name: Verify build directory - run: | - if [ ! -d "build" ]; then - echo "Error: 'build' directory not found" - exit 1 - fi - - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - with: - path: 'build' - - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 |