I heard the compile-time on rust based projects (with many dependencies) is “slow”. How long does a completely new build from source take for you? Something like 10 minutes? For the release build …

about an hour for the release build to finish

So if you want to make a PR and get it working you are welcome to do that. Then I will add the auth token so you can test it. Github seems preferable as we already use that.

But I guess a simple cargo check should sometimes suffice?