Commit graph

205 commits

Author SHA1 Message Date
Ben Wiederhake
80d1e12116 Meta: Let toolchain patches invalidate toolchain cache
Fixes #4072.
2020-11-14 15:30:29 +01:00
Ben Wiederhake
58b70e8dc8 Meta: Fix broken IRC notification for drafts and skips 2020-11-14 13:16:48 +01:00
Ben Wiederhake
cf9419fc4f Meta: Nicer IRC notifications 2020-11-13 08:56:56 +01:00
Ben Wiederhake
90f55e607d Meta: Ensure availability of python 2020-11-13 08:56:56 +01:00
Ben Wiederhake
a0e25b2d31 Meta: Enable Github Actions 2020-11-08 09:58:55 +01:00