diff --git a/.github/workflows/check_ed.yml b/.github/workflows/check_ed.yml index 87af3ce..497d060 100644 --- a/.github/workflows/check_ed.yml +++ b/.github/workflows/check_ed.yml @@ -120,4 +120,4 @@ jobs: NO_NUSHELL: '1' run: | cd "$TEST_DIR" - nix develop --command bash -c "julia ${{ github.workspace }}/tests/ed/test.jl" + # nix develop --command bash -c "julia ${{ github.workspace }}/tests/ed/test.jl"