From de149abe8db56c9c7dc7ecccd99fefcca122e4a8 Mon Sep 17 00:00:00 2001 From: Paul-Nicolas Madelaine Date: Fri, 30 May 2025 12:02:14 +0200 Subject: [PATCH] remove github workflows --- .github/workflows/pages.yml | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 .github/workflows/pages.yml diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml deleted file mode 100644 index 8c818ab..0000000 --- a/.github/workflows/pages.yml +++ /dev/null @@ -1,27 +0,0 @@ -on: - push: - branches: [main] - -jobs: - build: - runs-on: ubuntu-latest - steps: - - uses: DeterminateSystems/nix-installer-action@main - - uses: actions/checkout@v4 - - run: nix-build - - uses: actions/upload-pages-artifact@v3 - with: - path: result/ - deploy: - needs: build - permissions: - pages: write - id-token: write - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4