158 is done (after 62.8 hours), starting 159. 160 is still running. On Sun, Feb 16, 2020 at 8:13 AM Norman Megill <[email protected]> wrote:
> Thanks. I updated the status: > https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/odjUQM6nBAAJ > with 158 assigned to you. > > On Saturday, February 15, 2020 at 10:41:17 PM UTC-5, Mario Carneiro wrote: >> >> 156 is done (after 31.8 hours), starting 158. 160 is still running. >> > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/e6426693-a3be-4f07-92f7-7cc30979e49c%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/e6426693-a3be-4f07-92f7-7cc30979e49c%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSv8kpEemnm%3D_izn9D_sskRaPE%3Deo54HZEB_t6Gi0nVzgA%40mail.gmail.com.
<<attachment: job158.zip>>
