math-comp icon indicating copy to clipboard operation
math-comp copied to clipboard
verified publisher icon math-comp

remove Restart from test_suite

Open gares opened this issue 3 years ago • 0 comments

Motivation for this change

https://github.com/coq/coq/pull/16361

gares avatar Aug 02 '22 20:08 gares