Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix the last issue raised by clippy nightly
I'm sorry about the noisy git history. I just hate force-pushing, as I find it rude, you're just overrideing other people's history. Once you publish it's for life. Anyway, I'm not able these tests locally for now, so my only feedback is github actions. And I've messed up in a363029 and missed this part. I'll work in running these test in a container next time.
- Loading branch information