proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… #254
hyperpolymathmirror.yml
on: push
mirror
/
mirror-gitlab
8s
mirror
/
mirror-bitbucket
0s
mirror
/
mirror-codeberg
8s
mirror
/
mirror-sourcehut
9s
mirror
/
mirror-disroot
0s
mirror
/
mirror-gitea
0s
mirror
/
mirror-radicle
3m 8s
Annotations
2 errors
|
mirror / mirror-codeberg
Process completed with exit code 128.
|
|
mirror / mirror-radicle
Process completed with exit code 1.
|