The job files have been updated for today's set.mm. The new job files are available at http://us2.metamath.org/downloads/min2020-jobs.zip
The instructions at the beginning of this thread ( https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/1lURYnVcFwAJ) still apply, except that you should use today's set.mm at https://github.com/metamath/set.mm/commit/87bc05d4155014c9bc7b8f4f05435347b628b7f0 Make sure you are running metamath version 0.181. As I mentioned, all previous runs should be discarded. We are starting from scratch. Thank you! Norm <http://www.google.com/url?q=http%3A%2F%2Fus2.metamath.org%2Fdownloads%2Fmin2020-jobs.zip&sa=D&sntz=1&usg=AFQjCNEjjy5wsEd2bpGzg30AHa2IqJ4KEg> -- 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/6dda7660-935e-4b04-ad4a-a3aa5fa2c2f3%40googlegroups.com.
