3 Commits

Author	SHA1	Message	Date
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