Skip to content
CodeQL Security Analysis

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 key… #480

Sign in to view logs

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

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 key… #480

Run time

Learn about OS pricing on GitHub Actions
Job Run time
analyze (javascript-typescript, none)
2m 22s
2m 22s