Issues (1–1 of 1)

Title	T	P	Status	Votes	Assignee	Milestone	Version	Created	Updated	Actions
#2707: tests for lean_public are very slow	enhancement	major	new		Miguel Zilhão			2023-04-06	2023-04-06