FWIW it looks like the CI keeps some state between runs. I didn't investigate, and maybe it speeds up builds, but I think it's not great in general and can cause trouble in the future. Maybe this should also do `git clean -fdx` in addition to `git reset --hard` but it would cleanup build dirs, and ccache.