Adriaan de Groot
|
e99c60728b
|
CI: the 'DIFF' line does not make sense for scheduled builds
|
2021-02-02 13:36:05 +01:00 |
|
Adriaan de Groot
|
d4a5640446
|
CI: Debian 9 is too old, stick with 10, update dependencies
|
2021-02-02 12:34:23 +01:00 |
|
Adriaan de Groot
|
45fb77fbf3
|
CI: split Debian package installation
|
2021-02-02 00:49:58 +01:00 |
|
Adriaan de Groot
|
a215871da8
|
CI: Debian doesn't come with sudo pre-installed
|
2021-02-02 00:39:45 +01:00 |
|
Adriaan de Groot
|
74eada048b
|
CI: allow manually starting Debian builds, too
|
2021-02-02 00:33:01 +01:00 |
|
Adriaan de Groot
|
81e5bf4e6e
|
CI: update Debian-build notifications, too
|
2021-02-02 00:13:07 +01:00 |
|
Adriaan de Groot
|
343f4cefc8
|
CI: build on older Debian on a schedule
|
2021-02-01 23:15:15 +01:00 |
|