All jobs are covered. There are 5 jobs left to finish (147, 155, 157, 159, 160). The first 4 are currently running on 4 cores on DAW's computer and the last on yours, so there is no need to run anything else at this point.
My plan is to assemble what we have in a few days regardless of what's pending, so that we can prepare to update set.mm. The rest can be dealt with manually as they complete. Some careful analysis will have to be done on potentially problematic minimizations that used a duplicate *ALT version etc., and I'll be asking for some assistance with those. Norm On Tuesday, February 18, 2020 at 3:16:36 PM UTC-5, Mario Carneiro wrote: > > All of the jobs I have run thus far are on AWS, on a single instance. So > while it may not have been on a single physical machine, it is unlikely to > vary significantly. It's a linux machine, and I compiled it using DAW's > script (I didn't check but I hope it compiled with optimizations!). > > If 159 is already running, I can run something else. Are all the other > jobs covered? > -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/f8526788-1540-4b64-b275-9bc0dfb8ed51%40googlegroups.com.
