From 7d9812cb8e474cba039cbc3d64f822e8dd87f71b Mon Sep 17 00:00:00 2001
From: zaki <zakik@apra.in>
Date: Fri, 23 Jun 2023 12:05:21 +0530
Subject: [PATCH] changed vampire version

---
 .github/workflows/build-test-lin-wsl.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-test-lin-wsl.yml b/.github/workflows/build-test-lin-wsl.yml
index 16c93e8fc..b5f724630 100644
--- a/.github/workflows/build-test-lin-wsl.yml
+++ b/.github/workflows/build-test-lin-wsl.yml
@@ -82,7 +82,7 @@ jobs:
     runs-on: ${{ inputs.runner }}
     steps:
     - name: Prepare WSL Image
-      uses: Vampire/setup-wsl@v1
+      uses: Vampire/setup-wsl@v2
       with:
         distribution: Ubuntu-20.04
         use-cache: false