diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml deleted file mode 100644 index c80e71f7..00000000 --- a/.github/workflows/nix.yml +++ /dev/null @@ -1,14 +0,0 @@ -name: "nix" -on: - pull_request: - push: -jobs: - tests: - runs-on: ubuntu-latest - steps: - - name: Checkout tree - uses: actions/checkout@v4 - with: - submodules: true - - uses: cachix/install-nix-action@v30 - - run: nix develop -L .# -c dune build @runtest @check