Apparently it didn't come back automatically, the script https://github.com/metamath/metamath-website-scripts/blob/main/build-system.sh needs work I guess. I rebooted it manually and the site is back up.
On Fri, Nov 14, 2025 at 5:34 AM Mario Carneiro <[email protected]> wrote: > It was restarted 3 minutes ago, hopefully it should be back up > automatically within at most a few hours. > > On Fri, Nov 14, 2025 at 5:32 AM Cris Perdue <[email protected]> wrote: > >> The us.metamath.org website appears to be down. >> >> -Cris >> >> -- >> 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 visit >> https://groups.google.com/d/msgid/metamath/CAOoe%3DWK9PmANsb6PTKRtnf6uJEjuOQbGFPeo2mOM2ugtN5Z0JA%40mail.gmail.com >> <https://groups.google.com/d/msgid/metamath/CAOoe%3DWK9PmANsb6PTKRtnf6uJEjuOQbGFPeo2mOM2ugtN5Z0JA%40mail.gmail.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 visit https://groups.google.com/d/msgid/metamath/CAFXXJStKy%3Dr%2B5zBx1R6W_jU3Z935que8TFfSdA9jX-mH5bfGoQ%40mail.gmail.com.
