ci(lspec): fix the nix installed bin path access

Changes

1 changed files (+2/-2)

• .github/workflows/lspec.yml
  • @@ -16,6 +16,6 @@ nix_path: nixpkgs=channel:nixos-24.11
    - name: Install Lean run: nix-shell - name: Log versions - run: lean --version && lake --version + run: nix-shell --run "lean --version && lake --version" - name: run LSpec binary - run: lake exe lspec + run: nix-shell --run "lake exe lspec"