diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml deleted file mode 100644 index 0dd13cd6..00000000 --- a/.github/workflows/website.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: Website - -on: - push: - branches: [master, main] - paths: [web/**, .github/workflows/website.yml] - -concurrency: - group: ${{ github.ref }}-website - cancel-in-progress: true - -jobs: - update: - name: Publish - permissions: - pages: write - id-token: write - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - - uses: actions/configure-pages@v2 - - - uses: actions/upload-pages-artifact@v1 - with: {path: web} - - - {uses: actions/deploy-pages@v1, id: deployment}