Skip to content

Bump Vampire/setup-wsl from 3 to 4#1049

Merged
jgabry merged 1 commit intomasterfrom
dependabot/github_actions/Vampire/setup-wsl-4
Dec 14, 2024
Merged

Bump Vampire/setup-wsl from 3 to 4#1049
jgabry merged 1 commit intomasterfrom
dependabot/github_actions/Vampire/setup-wsl-4

Commits

Commits on Dec 9, 2024