Fix tests for coq#17648
See https://github.com/coq/coq/pull/17648#issuecomment-1568700456 . This MR simply removes the offending test because the test has already caused problems previously (!421 (merged)) and does not seem that useful.
See https://github.com/coq/coq/pull/17648#issuecomment-1568700456 . This MR simply removes the offending test because the test has already caused problems previously (!421 (merged)) and does not seem that useful.
enabled an automatic merge when the pipeline for 1c8bd167 succeeds
merged
mentioned in commit 82cf79ba