From 343962fd6f4250798522300526187ab7223e5482 Mon Sep 17 00:00:00 2001 From: matthewcroughan Date: Sat, 20 May 2023 10:14:24 +0100 Subject: [PATCH] github: remove workflows Since Hercules CI is in use now, GitHub Actions are not necessarily required --- .github/workflows/build.yml | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 .github/workflows/build.yml diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml deleted file mode 100644 index 495d6e1..0000000 --- a/.github/workflows/build.yml +++ /dev/null @@ -1,12 +0,0 @@ -name: build -on: [pull_request, push] -jobs: - tests: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - uses: cachix/install-nix-action@v19 - with: - github_access_token: ${{ secrets.GITHUB_TOKEN }} - - run: nix build - - run: nix flake check