Sorry, I encountered a problem testing a metamath.exe modification, so I abandoned the site build. The site is updated now.
In general I do try to rebuild the site within 24 hours of a PR but occasionally there may be a delay. Norm On Thursday, November 21, 2019 at 6:42:38 AM UTC-5, Benoit wrote: > > Hi, > If I recall correctly, the us2 server is updated within 24 hours of a new > merge in metamath/set.mm on github (I cannot retrieve this information). > But the merge > https://github.com/metamath/set.mm/pull/1261#event-2813593206 is from 20 > nov. 2019 à 02:26 UTC+1 (33 hours ago at the time of writing this message) > and still does not appear in http://us2.metamath.org/ileuni/mmrecent.html > (which indicates "Last updated on 19-Nov-2019 at 8:14 PM ET"). Is there a > synchronization issue ? > Thanks, > Benoît > -- 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/81cea4a8-c21a-454e-91e8-a6de0faa17c6%40googlegroups.com.
