Merge branch 'release/stable-23.0-vanadium' into 'master'

23.0-Vanadium release [Fix OPAM file]

See merge request !122
2 jobs for master in 1 minute and 55 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Deploy
passed pages #423156
docker

00:01:55

passed pages:deploy

00:00:01