UI tests actually work for current Coq

8 jobs for master in 21 minutes and 5 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed build-coq.8.6.0 #18439
fp

00:02:26

passed build-coq.8.6.1 #18438
fp

00:02:26

passed build-coq.8.7.0 #18437
fp

00:02:22

passed build-coq.8.7.1 #18436
fp

00:02:36

passed build-coq.8.7.2 #18435
fp-timing

00:02:19

passed build-coq.8.8.0 #18434
fp-timing

00:02:31

passed build-coq.8.8.1 #18433
fp

00:02:35

passed build-coq.dev #18432
fp

00:21:05