as per title, this should run the same CI on the GitHub mirror
added tests label
assigned to @a.stevan
enabled an automatic merge when all merge checks for 7acd12cb pass
merged
mentioned in commit 557a25aa