On Thursday, October 3, 2024 at 1:18:44 PM UTC-7 Dima Pasechnik wrote: Why is it quicker than running ./sage -t src/sage/lfunctions src/sage/rings/ (perhaps few other should be added) on a full sagelib install?
You are missing the point. The main point of testing a modularized distribution is not speed but to protect against modularization regressions. Testing the modularized distributions is *not* the same as passing a subset of files to the doctester. And extra complexity to run wider tests, for sagelib, as it's not installed by default. Also wrong. There are no changes to what is installed by default. For a wider testing, we should not assume that free and generous GitHub CI allowance we enjoy now is there to stay. [...] Fear about suddenly disappearing resources for our CI is misplaced. Moreover, it has no bearing whatsoever on the PR in question, https://github.com/sagemath/sage/pull/36380, whose specific scope is to add a new distribution *sagemath-brial *and to enlarge the existing distributions *sagemath-objects*, *sagemath-categories.* -- 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/3c08628a-2ead-4bbb-aa35-ce25cdc951f2n%40googlegroups.com.
