Running a "verify markup" with a recent set.mm I'm getting a There is no "Version of " comment at the top of the file
warning. It looks like the date is not at the top of the file anymore (as it was discussed some time ago, in this forum). I'm on Version 0.198 7-Aug-2021 , that's the current one (according to the metamath.org page). I've checked https://github.com/metamath/metamath-exe/releases but there aren't any releases, yet. Will CI block my PR ? Glauco Il giorno venerdì 31 dicembre 2021 alle 05:57:53 UTC+1 [email protected] ha scritto: > This is to give more visibility to issue > https://github.com/metamath/metamath-exe/issues/19 . This came up when I > put a .gitignore in the metamath-exe repo: We currently distribute the > metamath sources via tar file, and it would be odd to distribute the > .gitignore as well. > > I think we should move to a release process entirely hosted on github, > with the web site pointing to the > https://github.com/metamath/metamath-exe/releases page, which will be > semi-automatically populated with releases built in CI. > -- 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/d1f1e874-d61f-4d80-a8bc-96bfbc0e5f38n%40googlegroups.com.
