GitLab will be upgraded on June 23th evening. During the upgrade the service will be unavailable, sorry for the inconvenience.

fix d9d959ea. In fact can try to acquire...

fix d9d959ea. In fact can try to acquire several time the same lock but only one can remove it
4 jobs for 0.5 in 14 minutes and 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Style
passed #210087
check_style

00:00:12

 
  Test Library
passed #210088
test:python3.7_stretch_pyqt5

00:06:52

80.0%
passed #210089
test:python3.9_stretch_pyqt5

00:07:31

80.0%
 
  Test Notbooks
passed #210090
test:test-tomoscan-tutorials

00:06:44