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

ReadWriteLock: apply suggestions from S. Debionne:

* Split Guard into independent, non-copyiable Read/WriteGuard
* Rename State to Usage and m_users to m_readers
5 jobs for fix_lima_106 in 64 minutes and 54 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #98281
linux
build-linux

00:21:06

passed #98488
win
build-win

00:43:48

failed #98309
win
build-win

01:00:01

failed #98282
win
build-win

00:00:20

 
  Deploy
manual #98283
linux conda allowed to fail manual
deploy-devel