Closed ejgallego closed 5 months ago
It got broken in #513 as we didn't plug the notification.
We also had to implement better storage management.
We additionally add a tough test from https://github.com/coq/coq/issues/17999 , by Gaëtan Gilbert.
It got broken in #513 as we didn't plug the notification.
We also had to implement better storage management.
We additionally add a tough test from https://github.com/coq/coq/issues/17999 , by Gaëtan Gilbert.