From 14fbfb9bf67fd6f3b6ac51629895793d619ba29e Mon Sep 17 00:00:00 2001 From: Raito Bezarius Date: Wed, 21 Feb 2024 01:27:29 +0100 Subject: [PATCH] tests: bump to 23.11 To have more "up-to-date" dependencies, should not change the CI status. --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index da9b02e..3879831 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -12,7 +12,7 @@ jobs: - name: Get the only thing that usually is reliable in CI uses: cachix/install-nix-action@v20 with: - nix_path: nixpkgs=channel:nixos-23.05 + nix_path: nixpkgs=channel:nixos-23.11 - name: Update dependencies run: nix-shell -p elan --run "lake update" - name: Download mathlib4 cache