Add a lock file to speed up installation in CI
Passed
Bekerle, Patrizio
created pipeline for commit
371b9478
, finished
For main
1 minute 39 seconds, queued for 2 seconds