Minimal WSL setup-v7 CI fix

[jgabry]

Submission Checklist

• Run unit tests
• Declare copyright holder and agree to license (see below)

Summary

Supersedes #1180

Try to find minimal changes that allow updating Vampire/setup-wsl from 6 to 7

Copyright and Licensing

Please list the copyright holder for the work you are submitting
(this will be you or your assignee, such as a university or company):
Jonah Gabry

By submitting this pull request, the copyright holder is agreeing to
license the submitted work under the following licenses:

• Code: BSD 3-clause (https://opensource.org/licenses/BSD-3-Clause)
• Documentation: CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/)

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.12%. Comparing base (a9fcfa7) to head (c56472b).

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1183      +/-   ##
==========================================
+ Coverage   91.08%   91.12%   +0.03%     
==========================================
  Files          15       15              
  Lines        6091     6117      +26     
==========================================
+ Hits         5548     5574      +26     
  Misses        543      543              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.