Use consistent meta variables for `wp_invariance`.

6 jobs for master in 13 minutes and 46 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #34307
fp
build-coq.8.10.dev

00:12:14

passed #34311
fp
build-coq.8.7.2

00:06:22

passed #34310
fp
build-coq.8.8.2

00:07:20

passed #34309
fp-timing
build-coq.8.9.0

00:06:43

passed #34308
fp
build-coq.8.9.1

00:07:55

passed #34306
fp
build-coq.dev

00:13:30