4 commits

Author	SHA1	Message	Date
flip1995	b47dada167	Apply review comments	2020-02-12 09:34:28 +01:00
flip1995	abb095dded	Run bors checks unconditionally ... This is important, since bors doesn't know optional jobs. Otherwise bors would time out, when a check doesn't get run.	2020-02-12 09:34:28 +01:00
flip1995	b8b47ab6fe	Add bors dummy jobs	2020-02-12 09:34:28 +01:00
flip1995	20c3319961	Add remark check to GHA	2020-02-12 09:34:25 +01:00