I've force-pushed the original tip of the branch. On Tuesday, April 9, 2024 at 5:03:50 PM UTC-7 Kwankyu Lee wrote:
> Because of > > https://groups.google.com/g/sage-devel/c/dEa3i2Fn3ZY/m/gIWG6UpBAAAJ > > currently github workflows stopped working. > > Please revoke the commit ASAP! > > Sorry for inconveniences! > -- 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/178fcbad-0428-4f90-9099-a680ee8aae90n%40googlegroups.com.
