Add `replicate_S_end`.

8 jobs for master in 11 minutes and 32 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #39306
fp
build-coq.8.10.dev

00:07:51

passed #39312
fp
build-coq.8.7.2

00:02:43

passed #39311
fp-timing
build-coq.8.8.0

00:02:39

passed #39310
fp
build-coq.8.8.1

00:02:48

passed #39309
fp
build-coq.8.8.2

00:03:02

passed #39308
fp-timing
build-coq.8.9.0

00:03:03

passed #39307
fp
build-coq.8.9.1

00:03:36

passed #39305
fp
build-coq.dev

00:08:40