ECHIDNA Proof Verification #26
hyperpolymathechidna-verify.yml
on: schedule
Agda — lol/proofs
46s
Idris2 — a2ml proofs
17m 40s
Idris2 — AVOW consent proofs
19m 9s
Trust pipeline summary
2s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
agda-verify-log
|
302 Bytes |
sha256:a80250f7252d09f163a473990be3edaf4fa801b8963648a6688e73e62ee1ac29
|
|
|
idris2-a2ml-log
|
362 Bytes |
sha256:1938ca7d5af5c06aee7ddb939e2c85bd909d729d182066d00e25305fdd41b67d
|
|
|
idris2-avow-log
|
576 Bytes |
sha256:be5b872e3da7c1245cad3cf0ee636d449a2a00151a93606dcdffe1522073ca52
|
|