Vieno Hakkerinen
|
ca7a8ff528
|
contrib/actions: use apt-get instead of apt
apt does not have a stable CLI interface. Don't use it in scripts.
|
2021-04-05 21:33:04 +02:00 |
|
Martin Weinelt
|
394bc8e6bd
|
contrib/actions: drop custom sources.list
|
2021-04-05 04:11:29 +02:00 |
|
Matthias Schiffer
|
55c51f2a73
|
actions: script improvements
- Rely on shebang instead of setting shell in workflow
- Run whole install-dependencies.sh in sudo
- Use /bin/sh instead of bash
- set -e
|
2020-05-13 15:48:06 +02:00 |
|
David Bauer
|
1b0288d539
|
contrib: actions: remove surplus package sources
|
2020-04-05 19:49:44 +02:00 |
|
David Bauer
|
366ba8ab99
|
contrib: actions: add custom sources.list
|
2020-04-05 19:43:57 +02:00 |
|
David Bauer
|
bb905b3351
|
actions: move dependencies to dedicated step
|
2020-04-05 19:08:15 +02:00 |
|