ECHIDNA Proof Verification #27
hyperpolymathechidna-verify.yml
on: schedule
Agda — lol/proofs
45s
Idris2 — a2ml proofs
17m 38s
Idris2 — AVOW consent proofs
17m 27s
Trust pipeline summary
2s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
agda-verify-log
|
302 Bytes |
sha256:7b79a939e221ec29bd2cba2949ffcb98680007cd77c96965b41eb89387d1cc7d
|
|
|
idris2-a2ml-log
|
362 Bytes |
sha256:6970c0f85db95a795a9234c2eab6d8bb88749f936abfce87d9fd1fccb3121a8f
|
|
|
idris2-avow-log
|
576 Bytes |
sha256:908dd3c2c760cc61d4ffb6708cfb01d05d01f746af20ac1fe40c40ed47e0055c
|
|