From b60bba33da7a5c18399b7793bfd3258dd7e8f4c1 Mon Sep 17 00:00:00 2001 From: Andrea Ciceri Date: Sat, 8 Apr 2023 11:25:18 +0200 Subject: [PATCH] Remove github workflow for building --- .github/workflows/build.yaml | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 .github/workflows/build.yaml diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml deleted file mode 100644 index 626f6c4..0000000 --- a/.github/workflows/build.yaml +++ /dev/null @@ -1,27 +0,0 @@ -name: build -on: - workflow_dispatch: # allows manual triggering - push: - branches: - - master - - update_flake_lock_action - -jobs: - build: - if: ${{ always() }} - runs-on: ubuntu-latest - steps: - - name: Checkout repository - uses: actions/checkout@v3 - - - uses: cachix/install-nix-action@v20 - with: - extra_nix_config: | - accept-flake-config = true - - - uses: cachix/cachix-action@v12 - with: - name: aciceri-emacs - authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' - - - run: nix --print-build-logs --verbose build