proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… #250
hyperpolymathmirror.yml
on: push
mirror
/
mirror-gitlab
8s
mirror
/
mirror-bitbucket
0s
mirror
/
mirror-codeberg
8s
mirror
/
mirror-sourcehut
11s
mirror
/
mirror-disroot
0s
mirror
/
mirror-gitea
0s
mirror
/
mirror-radicle
3m 15s
Annotations
2 errors
|
mirror / mirror-codeberg
Process completed with exit code 128.
|
|
mirror / mirror-radicle
Process completed with exit code 1.
|