Doc lock file not getting deleted after successful docs generation, causing permission error

In my CI/CD pipeline, I generate docs with cargo doc --workspace --no-deps --document-private-items. This generates a lock file at target/doc/.lock. Now for some reason, this lock file doesn't get removed when cargo is done with generating the documentation, even when it exits with exit code 0. In this case, my CI job uploads the entire target/docs directory as a CI artifact. But when I download these files again, copying them falls due to missing permissions on the lock file $ cp -fr target/d...