test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#… #267
hyperpolymathmirror.yml
on: push
mirror
/
mirror-gitlab
6s
mirror
/
mirror-bitbucket
mirror
/
mirror-codeberg
9s
mirror
/
mirror-sourcehut
7s
mirror
/
mirror-disroot
0s
mirror
/
mirror-gitea
mirror
/
mirror-radicle
3m 10s
Annotations
2 errors
|
mirror / mirror-codeberg
Process completed with exit code 128.
|
|
mirror / mirror-radicle
Process completed with exit code 1.
|