For the "# needs" tags (and block-scoped # optional tags) to have an effect, we need #35749, of course. But I prepared #35919 and #35951 in a way that all tests of the monolithic Sage library pass.
On Friday, July 21, 2023 at 1:03:29 PM UTC-7 Kwankyu Lee wrote: > #35919 and #35951 merged here are dependent on #35749 not merged yet. > #35749 is ready to be merged. > > It's a mistake that #35919 and #35951 did not declare #35749 as a > dependency. > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/7c62d9b1-fc44-42e8-8d28-440213fb3d60n%40googlegroups.com.
