Tools for github CI