Update to the fixed version of Vampire

Byron · web-flow · commit 7bdcfa556ad4 · 2024-05-27T21:27:07.000+02:00
diff --git a/.github/workflows/pythonpackage.yml b/.github/workflows/pythonpackage.yml
@@ -44,7 +44,7 @@ jobs:
 
     - name: Set up WSL (Windows)
       if: startsWith(matrix.os, 'windows')
-      uses: Vampire/setup-wsl@v3.1.0
+      uses: Vampire/setup-wsl@v3.1.1
       with:
         distribution: Debian
 

-Original file line number
+Diff line change
     - name: Set up WSL (Windows)
       if: startsWith(matrix.os, 'windows')
 -      uses: Vampire/[email protected].0
 +      uses: Vampire/[email protected].1
       with:
         distribution: Debian