Skip to content

Update WSL CI to use WSL2 #1055

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
andrjohns merged 3 commits into from
Jan 4, 2025
Merged

Update WSL CI to use WSL2 #1055

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
cfaef26
WSL action supports v2
andrjohns Jan 4, 2025
6c65fe9
WSL action supports v2
andrjohns Jan 4, 2025
e4741df
Update CI branch
andrjohns Jan 4, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 4 additions & 5 deletions .github/workflows/R-CMD-check-wsl.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ jobs:
if: "! contains(github.event.head_commit.message, '[ci skip]')"
runs-on: windows-latest

name: windows-latest-WSLv1
name: windows-latest-WSL2

env:
R_REMOTES_NO_ERRORS_FROM_WARNINGS: true
Expand Down Expand Up @@ -47,13 +47,12 @@ jobs:
- uses: Vampire/setup-wsl@v4
with:
distribution: Ubuntu-22.04
use-cache: 'false'
wsl-version: 2
use-cache: 'true'
set-as-default: 'true'

- name: Install WSL Dependencies
run: |
# Bugfix for current gzip (for unpacking apt packages) under WSLv1:
# https://github.com/microsoft/WSL/issues/8219#issuecomment-1110508016
echo -en '\x10' | sudo dd of=/usr/bin/gzip count=1 bs=1 conv=notrunc seek=$((0x189))
sudo apt-get update
sudo apt-get install -y build-essential libopenmpi-dev
shell: wsl-bash {0}
Expand Down
Loading