> It looks like VERIFY MARKUP has been disabled in CI? @David what's going on > here? Looks like it's been like this since december: > https://github.com/metamath/set.mm/commit/b6d91985163285cb27ecfcc46c31e4e4791dc2ab > .
Markup checking happens for set.mm and iset.mm, but *not* for the other databases. At least, that's what the highlighted line is supposed to do :-). --- David A. Wheeler -- 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/B38C7CE2-E789-4E35-9D4B-B5B299F0E3E7%40dwheeler.com.
