From 16af667251ac9301f3037b43f13045aa8af06058 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 21 Oct 2026 08:33:45 +0000 Subject: [PATCH] Bump vampire/setup-wsl from 7.1.1 to 7.2.0 Bumps [vampire/setup-wsl](https://github.com/vampire/setup-wsl) from 7.1.1 to 7.2.0. - [Release notes](https://github.com/vampire/setup-wsl/releases) - [Commits](https://github.com/vampire/setup-wsl/compare/614202866847d986a4f737ae6020b760283d3f5a...4c48163d9f981914dd8caa0fc335fe19cca5bff4) --- updated-dependencies: - dependency-name: vampire/setup-wsl dependency-version: 7.2.0 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 cce12ac2..9e9cc665 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@614202866847d986a4f737ae6020b760283d3f5a # v7.1.1 + - uses: vampire/setup-wsl@4c48163d9f981914dd8caa0fc335fe19cca5bff4 # v7.2.0 with: distribution: Ubuntu-24.04 use-cache: 'true' diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 9a665b68..5b3428b0 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -177,7 +177,7 @@ jobs: needs: [typecheck] steps: - - uses: vampire/setup-wsl@614202866847d986a4f737ae6020b760283d3f5a # v7.1.1 + - uses: vampire/setup-wsl@4c48163d9f981914dd8caa0fc335fe19cca5bff4 # v7.2.0 with: distribution: Ubuntu-24.04 use-cache: 'true'