Commit 58a9a58
committed
Use Alpine Linux in WSL on CI
Some of the CI tests use WSL. This switches the WSL distribution
from Debian to Alpine, which might be slightly faster. For the way
it is being used here, the main expected speed improvement would be
to how long the image would take to download, as Alpine is smaller.
(The reason for this is thus unrelated to the reason for the Alpine
docker CI test job added in #1826. There, the goal was to test on a
wider variety of systems and environments, and that runs the whole
test suite in Alpine. This just changes the WSL distro, used by a
few tests on Windows, from Debian to Alpine.)
Two things have changed that, taken together, have unblocked this:
- Vampire/setup-wsl#50 was fixed, so the
action we are using is able to install Alpine Linux. See:
#1917 (review)
- #1893 was fixed in #1888. So if switching the WSL distro from
Debian to Alpine breaks any tests, including by making them fail
in an unexpected way that raises the wrong exception, we are
likely to find out.1 parent ea583e1 commit 58a9a58
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
49 | | - | |
| 49 | + | |
50 | 50 | | |
51 | 51 | | |
52 | 52 | | |
| |||
0 commit comments