5 Commits

Author	SHA1	Message	Date
Jonas Platte	27e47eaddc	ci: Title-case workflow names	2021-04-22 15:23:16 +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
Jonas Platte	49bd9d037c	ci: Convert stable job to GitHub actions workflow	2021-04-22 14:25:23 +02:00