From f3adcd4106a1d953457fb6f06178f94854628fff Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 20 Oct 2026 08:33:20 +0000 Subject: [PATCH] Bump vampire/setup-wsl from 7.0.0 to 7.1.1 Bumps [vampire/setup-wsl](https://github.com/vampire/setup-wsl) from 7.0.0 to 7.1.1. - [Release notes](https://github.com/vampire/setup-wsl/releases) - [Commits](https://github.com/vampire/setup-wsl/compare/d1da7f2c0322a5ee4f24975344f67fc0f5baf364...614202866847d986a4f737ae6020b760283d3f5a) --- updated-dependencies: - dependency-name: vampire/setup-wsl dependency-version: 7.1.1 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/ci.yml | 2 +- .github/workflows/publish.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d5b06258..cce12ac2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -148,7 +148,7 @@ jobs: runs-on: windows-latest steps: - - uses: vampire/setup-wsl@d1da7f2c0322a5ee4f24975344f67fc0f5baf364 # v7.0.0 + - uses: vampire/setup-wsl@614202866847d986a4f737ae6020b760283d3f5a # v7.1.1 with: distribution: Ubuntu-24.04 use-cache: 'true' diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 941e1d6e..9a665b68 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -177,7 +177,7 @@ jobs: needs: [typecheck] steps: - - uses: vampire/setup-wsl@d1da7f2c0322a5ee4f24975344f67fc0f5baf364 # v7.0.0 + - uses: vampire/setup-wsl@614202866847d986a4f737ae6020b760283d3f5a # v7.1.1 with: distribution: Ubuntu-24.04 use-cache: 'true'