Commit d780394
authored
* CI: Drop about-to-be-removed Ubuntu 20.04 CI
* CI: Add missing "sudo apt-get update"
Also add --no-install-recommends (to install as few as possible
additional packages) packages and use apt-get rather than
apt because the target is a machine (rather thamn a human).
1 parent dc4ced3 commit d780394
1 file changed
+2
-11
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
43 | | - | |
44 | | - | |
45 | | - | |
46 | | - | |
47 | | - | |
48 | | - | |
49 | | - | |
50 | | - | |
51 | | - | |
52 | | - | |
53 | 43 | | |
54 | 44 | | |
55 | 45 | | |
| |||
67 | 57 | | |
68 | 58 | | |
69 | 59 | | |
70 | | - | |
| 60 | + | |
| 61 | + | |
71 | 62 | | |
72 | 63 | | |
73 | 64 | | |
| |||
0 commit comments