Update: propage the API change done in rdbg 1.189.3

4 jobs for master in 4 minutes and 37 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #156356
build

00:02:08

 
  Test
passed #156361
test_opam_test

00:02:13

failed #156357
allowed to fail
test_opam_test

00:02:09

 
  Release
passed #156358
release

00:00:15