diff options
Diffstat (limited to '.github/workflows/page.yml')
| -rw-r--r-- | .github/workflows/page.yml | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/.github/workflows/page.yml b/.github/workflows/page.yml deleted file mode 100644 index ca92f77..0000000 --- a/.github/workflows/page.yml +++ /dev/null @@ -1,45 +0,0 @@ -name: 📦 Deploy to Pages -on: - push: - branches: ["main"] - paths-ignore: - - "README.md" - - "justfile" - workflow_dispatch: - -permissions: - contents: read - pages: write - id-token: write - -concurrency: - group: "pages" - cancel-in-progress: true - -jobs: - build: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - - uses: DeterminateSystems/nix-installer-action@v17 - - name: ❄️ nix check - run: nix flake check - - name: ❄️ nix fmt - run: nix fmt - - name: ❄️ Build the site - run: nix build - - name: 📦 Upload artifact - uses: actions/upload-pages-artifact@v3 - with: - path: ./result - - deploy: - runs-on: ubuntu-latest - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 |
