@Emilio Jesús Gallego Arias I see that you are closing a bunch of stale bugs. Should we add tests to the test-suite for all of the bugs that have test-cases which now succeed?
That would be great indeed, I thought about doing that myself for a few, but I sadly ran out of time for this :/ Should be easy to collect the bugs that need a test case and file a quick issue to gather them.
Maybe we could have a tag with: reproducible case
that would mean "this issue has a test case that can be tested in the test-suite`
or needs: test-suite update
Yes, with such a label, we could have coqbot periodically check that they are still open (instead of adding them to bugs/open).
Last updated: Sep 30 2023 at 15:01 UTC