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