Upgrade: the rdbg package renamed Event into RdbgEvent

8 jobs for 2.71.1 in 4 minutes and 17 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #126016
build

00:02:06

 
  Test
passed #132067
test_opam_test

00:02:11

passed #126114
test_opam_test

00:02:09

passed #126112
test_opam_test

00:02:07

failed #126108
allowed to fail
test_opam_test

00:02:03

failed #126061
allowed to fail
test_opam_test

00:02:04

failed #126041
allowed to fail
test_opam_test

00:02:12

failed #126017
allowed to fail
test_opam_test

00:02:08