Posting per Travis's suggestion in https://github.com/sagemath/sage/pull/36938#issuecomment-1870827695 to ask for feedback on these changes.
Any constructive *feedback from the "developer experience" side of things* is welcome -- here or on the PRs! It is not necessary to be familiar with the internals of the implementation of the CI. *CI Build & Test: Show doctest failures, warnings as annotations in the 'Files changed' tab *(https://github.com/sagemath/sage/pull/36938) - Status quo: One has to open the log, searching for "Failed example" and then looking up the source code by line numbers - Improvement: The doctest failures are annotated right next to the doctest in the "Changed files" tab (see https://github.com/sagemath/sage/pull/36558/files for an illustration) - Possible downside: Cluttering of the diff view in the PR when there are many annotations for failed doctests Other changes to the CI: *Separate jobs for pyright, build, modularized tests, long tests* (https://github.com/sagemath/sage/pull/36498) - Status quo: "Build & Test" runs for 2.5 hours, then reports green checkmark in the PR box - Improvement: "Build" (including test of modified files) runs for 20 minutes, then reports green checkmark; full test runs separately (< 2.5 hours), then reports green checkmark; the technical steps "get_ci_fixes" are removed from the PR box *CI conda: On pull_request, only run 1 macOS job and 1 Linux job* (https://github.com/sagemath/sage/pull/36694) - Status quo: PR box shows 3 CI conda jobs for Linux and 3 CI conda jobs for macOS - Improvement: PR box only shows 2 jobs; and the macOS jobs no longer queue up -- 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/7d17c4de-c6ab-4876-8f7c-d07231ef39a6n%40googlegroups.com.