Re: [sage-devel] Re: Proposal: ci codecov/patch reports but not fail

2024-10-27 Thread 'Martin R' via sage-devel
I would like to report from a personal experiment. Nudged towards looking at the codecov warnings by tscrim, I learned that several of them actually uncovered truly (non-obviously) dead code in https://github.com/sagemath/sage/pull/38446. Making sure that the code code indeed not be reached b

Re: [sage-devel] Sage Days 128 in Le Teich (Feb 10-14, 2025), a bird watching reserve near Bordeaux

2024-10-27 Thread 'Martin R' via sage-devel
Hi Doris, sorry for answering late! As mentioned, sage days 127 *will* take place in Vienna, at TU Wien! If you are interested in coming, please drop me a line - most importantly: whether I may put your name on the list of participants at https://wiki.sagemath.org/days127 Best wishes, Martin