The CI configuration file was translated from CircleCI to github actions a bit too fast and had not been tested yet.