From 00c7539c2e77448cd52795f3ab0d9ac965347ffb Mon Sep 17 00:00:00 2001 From: Kangjing Huang Date: Fri, 19 Jul 2024 20:50:35 -0400 Subject: [PATCH] Disable devshell testing in workflows, takes too long --- .github/workflows/nix.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml index 6d7ea967..f9adf101 100644 --- a/.github/workflows/nix.yml +++ b/.github/workflows/nix.yml @@ -28,14 +28,16 @@ jobs: - name: "Test Nix flakes build" run: nix build - - name: "Test Nix flakes development shell" - run: nix develop --check + # Development shells will require building of hls and take a lot of time + # Let's not do that in the actions for now + # - name: "Test Nix flakes development shell" + # run: nix develop --check - name: "Test Nix flake-compact build" run: nix-build - - name: "Test Nix flake-compact development shell" - run: nix-shell --run echo + # - name: "Test Nix flake-compact development shell" + # run: nix-shell --run echo - continue-on-error: false run: nix flake check \ No newline at end of file