From 7c83bba91d76b93a9fe6da953799a40c4bd67730 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 20 Aug 2024 12:33:31 +0200
Subject: [PATCH] update workflow

---
 .github/workflows/test.yml | 5 -----
 1 file changed, 5 deletions(-)

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: |