Adjusts test suite for https://github.com/coq/coq/pull/15174
enabled an automatic merge when the pipeline for 5891312b succeeds
merged
mentioned in commit 4df62327