I'm not sure why this is necessary. It worked without this for me locally, but this fails in CI. The same was done in clippy_dev
I'm not sure why this is necessary. It worked without this for me locally, but this fails in CI. The same was done in clippy_dev