Although most files/downloads look OK, I'm getting zero bytes from
http://us.metamath.org/downloads/symbols.tar.bz2 which is causing the
tests at
https://github.com/metamath/set.mm/actions/runs/3734891781/jobs/6337539307
to fail.
I didn't see any recent changes to
https://github.com/metamath/metamath-website-seed or
https://github.com/metamath/metamath-website-scripts (at least, not
obviously relevant ones) so I'm not sure where to report this other than
this mailing list.
--
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/78c5e96a-c6bc-27f3-3c55-fd0366df43a4%40panix.com.
