Repository navigation

proof(xml-7-44): discharge Xml744.Attribute proof debts #206

Job	Run time
Groove manifest check	8s
Empty-linter (invisible characters)	32s
Validate K9 contracts	10s
Validate A2ML manifests	32s
Dogfooding compliance summary	9s
	1m 31s