From 64270fbde722ee930f055f3eb540b9025f40e9ba Mon Sep 17 00:00:00 2001 From: Jan Kremer Date: Thu, 26 Mar 2026 19:12:03 +0100 Subject: [PATCH] Remove GitHub action --- .github/workflows/main.yml | 52 -------------------------------------- 1 file changed, 52 deletions(-) delete mode 100644 .github/workflows/main.yml diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml deleted file mode 100644 index 675de11..0000000 --- a/.github/workflows/main.yml +++ /dev/null @@ -1,52 +0,0 @@ -name: Deploy website to Pages - -on: - push: - branches: ["main"] - - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - -permissions: - contents: read - pages: write - id-token: write - -concurrency: - group: "pages" - cancel-in-progress: false - -defaults: - run: - shell: bash - -jobs: - build: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@main - with: - submodules: true - fetch-depth: 0 - - name: Setup Pages - id: pages - uses: actions/configure-pages@main - - uses: DeterminateSystems/nix-installer-action@main - - uses: DeterminateSystems/flake-checker-action@main - - name: Build website - run: nix run . - - name: Upload to GitHub Pages - uses: actions/upload-pages-artifact@main - with: - path: ./public - - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@main