Skip to content

Bump Vampire/setup-wsl from 7.0.0 to 7.2.0 - #1860

Open
dependabot[bot] wants to merge 1 commit into
developfrom
dependabot/github_actions/Vampire/setup-wsl-7.2.0
Open

Bump Vampire/setup-wsl from 7.0.0 to 7.2.0#1860
dependabot[bot] wants to merge 1 commit into
developfrom
dependabot/github_actions/Vampire/setup-wsl-7.2.0

Commits

  1. Commits on Nov 1, 2026