Le dimanche 6 octobre 2024 à 01:07:06 UTC+2, Kwankyu Lee a écrit :
It seems we have to choose between: (1) We keep the status quo: not testing every code path created in the PR results in the PR check failure. (2) we keep codecov/patch as it is, but require to add doctests for every code path created in the PR. (3) We keep our current practice (add doctests for major functionality, and later doctests are added for broken cases). We change codecov/path to report but not fail. I propose to take (3) . Agreed. Eric. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/30d09a58-3408-4c91-9e2b-a800f1361c55n%40googlegroups.com.
