Adding CI: true to github workflow