diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index aa2a3f9..36eb073 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -47,11 +47,6 @@ jobs: run: (Resolve-Path ~/.elan/bin).Path >> $Env:GITHUB_PATH shell: pwsh - - name: get mathlib cache - if: matrix.os == 'windows-latest' - run: lake exe cache get - shell: pwsh - - name: run lake build (Windows) if: matrix.os == 'windows-latest' run: |