Skip to content

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword) #441

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword)

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword) #441

Job Run time
3h 51m 58s
3h 51m 58s
3h 51m 57s
11h 35m 53s