update URL

8 jobs for master in 15 minutes and 14 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.0 #23106
fp

00:02:58

passed build-coq.8.7.1 #23105
fp

00:03:04

passed build-coq.8.7.2 #23104
fp

00:02:49

passed build-coq.8.8.0 #23103
fp-timing

00:02:48

passed build-coq.8.8.1 #23102
fp

00:03:14

passed build-coq.8.8.2 #23101
fp

00:03:07

passed build-coq.8.9.0 #23100
fp-timing

00:03:12

passed build-coq.dev #23099
fp

00:15:14