Merge branch 'ralf/rtc' into 'master'

decrease priority for rtc_reflexive instance

See merge request robbertkrebbers/coq-stdpp!38
7 jobs for master in 16 minutes and 23 seconds
Status Job ID Name Coverage
  Build
passed #15102
fp
build-coq.8.6.0

00:03:27

passed #15101
fp
build-coq.8.6.1

00:03:23

passed #15100
fp
build-coq.8.7.0

00:08:07

passed #15099
fp
build-coq.8.7.1

00:10:06

passed #15098
fp-timing
build-coq.8.7.2

00:03:15

passed #15097
fp-timing
build-coq.8.8.0

00:03:19

passed #15096
fp
build-coq.dev

00:16:23