[sage-devel] Re: coverage CI is broken

2024-09-20 Thread Kwankyu Lee
PR https://github.com/sagemath/sage/pull/38687 needs review. -- 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 thi

Re: [sage-devel] Results of the Survey: Governance and Community building

2024-09-20 Thread Kwankyu Lee
Many complain that installing Sage is too difficult. I believe that that is also partially due to our complicated installation guide, which is painful to follow. PR https://github.com/sagemath/sage/pull/38659 aims to reduce the pain. -- You received this message because you are subscribed to