Minor tweaks in lifting file.

6 jobs for master in 15 minutes and 47 seconds
Status Job ID Name Coverage
  Build
passed #46259
fp
build-coq.8.10.0

00:08:18

passed #46258
fp
build-coq.8.10.1

00:08:17

passed #46262
fp
build-coq.8.8.2

00:05:39

passed #46261
fp-timing
build-coq.8.9.0

00:06:01

passed #46260
fp
build-coq.8.9.1

00:07:28

passed #46257
fp
build-coq.dev

00:15:46