Update CHANGELOG.md

Status Job ID Name Coverage
  Build
canceled #39465
fp
build-coq.8.10.dev

canceled #39471
fp
build-coq.8.7.2

canceled #39470
fp-timing
build-coq.8.8.0

canceled #39469
fp
build-coq.8.8.1

canceled #39468
fp
build-coq.8.8.2

canceled #39467
fp-timing
build-coq.8.9.0

canceled #39466
fp
build-coq.8.9.1

canceled #39464
fp
build-coq.dev