Stream: Coq devs & plugin devs

Topic: Trying to remove Int31 in Numbers/Cyclic


view this post on Zulip Pierre Rousselin (Aug 23 2023 at 13:45):

While casually browsing the stdlib, I found this sublib which is deprecated since 8.10. I thought having -3000 loc would be nice, but my PR does not pass the tests (despite my local tests being ok).

view this post on Zulip Gaëtan Gilbert (Sep 04 2023 at 12:53):

What did I do wrong with my tests? (I ran (cd test-suite; make clean); make -C test-suite)

that should be correct
What did you do to build the stdlib before running the tests?


Last updated: Oct 13 2024 at 01:02 UTC