Disable devshell testing in workflows, takes too long

BNFC · Jul 20, 2024 · 00c7539 · 00c7539
1 parent d82cb4e
commit 00c7539
Showing 1 changed file with 6 additions and 4 deletions.
diff --git 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