Bertus

Great news - build times on windows environment are back to normal! This was fixed in [actions/[email protected]](https://github.com/actions/checkout/releases/tag/v3.5.1). Thanks @BrettDong and @fhammerl