Fix tests for coq#17648
Passed
Michael Sammler
created pipeline for commit
1c8bd167
, finished
Related merge request !479 to merge msammler/coq_17648
4 minutes 22 seconds, queued for 3 seconds