GitLab will be upgraded on June 23rd 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
7 jobs for master in 20 minutes and 44 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Style
passed #210081
check_style

00:00:14

 
  Build
passed #210082
linux
doc

00:05:44

 
  Test Library
passed #210083
test:python3.7_stretch_pyqt5

00:06:59

80.0%
passed #210084
test:python3.9_stretch_pyqt5

00:07:34

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

00:06:13

 
  Deploy
passed #210086
linux
pages

00:00:17

passed pages:deploy

00:00:01