* Move outside of travis to Github actions This will permit to have better integrated CI workflow than the previous travis one.