Description

In the CI the repository is not cloned fully. Therefore, the main branch does not exist (only remote refs are fetched but no local branches are created).

The problem did not occur before because the cached copy of the docker image did contain main. This cache was cleaned yesterday when I was trying to fix a different docker-related issue.