Commit cd0ab1e
build: Fix GitHub CI to select alternative and remove PHP 7.4/8.0
It seems update-alternatives used to happen by default but not anymore.
Thus, all builds at https://github.com/wikimedia/less.php/actions/ for
forks and pull-requests silently switched to the same PHP 8.3 build.
Remove PHP 7.4 and 8.0 as those will (correctly) fail after this,
because phpunit 10 and mediawiki-codesniffer 48 requires PHP 8.1
as of Ied6663cf1b (ff0163a) and I3e9c217a49 (c544fa9).
Change-Id: If4836e474c8647d67f5b84cfd3d2bdfafc2e6e7e1 parent a7f5d23 commit cd0ab1e
1 file changed
+6
-9
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
29 | 29 | | |
30 | 30 | | |
31 | 31 | | |
32 | | - | |
33 | | - | |
34 | | - | |
35 | | - | |
36 | 32 | | |
37 | | - | |
| 33 | + | |
38 | 34 | | |
39 | | - | |
| 35 | + | |
40 | 36 | | |
41 | | - | |
| 37 | + | |
42 | 38 | | |
43 | | - | |
| 39 | + | |
44 | 40 | | |
45 | 41 | | |
46 | 42 | | |
47 | 43 | | |
48 | 44 | | |
49 | | - | |
| 45 | + | |
50 | 46 | | |
51 | 47 | | |
52 | 48 | | |
53 | 49 | | |
54 | 50 | | |
| 51 | + | |
55 | 52 | | |
56 | 53 | | |
57 | 54 | | |
| |||
0 commit comments