proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 key… #343
hyperpolymathmirror.yml
on: push
mirror-gitlab
7s
mirror-bitbucket
mirror-codeberg
mirror-sourcehut
12s
mirror-disroot
mirror-gitea
mirror-radicle
Annotations
2 warnings
|
mirror-gitlab
The process '/usr/bin/git' failed with exit code 128
|
|
mirror-sourcehut
The process '/usr/bin/git' failed with exit code 128
|