Jean-baptiste Aujogue
Fix CI push job (#9)
ba6917c unverified