update workflow

hhu-adam · Aug 20, 2024 · 7c83bba · 7c83bba
1 parent a2dbc5a
commit 7c83bba
Showing 1 changed file with 0 additions and 5 deletions.
diff --git 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: |