4 Commits

Author	SHA1	Message	Date
Jonas Platte	9bcbbff04d	ci: Take the new next branch into account	2021-05-20 20:39:12 +02:00
Jonas Platte	c770627ce1	ci: Assing nice workflow and job names	2021-04-22 15:10:41 +02:00
Jonas Platte	8a1cc3d8f8	ci: Use distinct job names	2021-04-22 15:08:16 +02:00
Jonas Platte	06623f9651	ci: Convert remaining jobs to GitHub actions	2021-04-22 14:57:10 +02:00