Set `Hint Mode` for `inG`.

6 jobs for ci/robbert/hintmode_inG in 16 minutes and 44 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #46761
fp
build-coq.8.10.0

00:08:19

passed #46760
fp-timing
build-coq.8.10.1

00:05:56

passed #46764
fp
build-coq.8.8.2

00:06:49

passed #46763
fp
build-coq.8.9.0

00:07:08

passed #46762
fp
build-coq.8.9.1

00:07:56

passed #46759
fp
build-coq.dev

00:16:33