From 55a5d1ed8840c0427162dd80ba942f0e25447db1 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 12 Jan 2026 20:46:30 -0500 Subject: [PATCH] disable nix CI for now --- .github/workflows/nix.yml | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 .github/workflows/nix.yml 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