Refactor/use shipped examples runner in Github CI