unfortunately, that now means that installing the pdk takes longer than 6 hours on github actions, so we lose the CI