Update lock.v

Status Job ID Name Coverage
  Test
failed #3186
fp-timing
iris-coq8.6

 
Name Stage Failure
failed
iris-coq8.6 Test There is an unknown failure, please try again
No job log