Skip to content
ECHIDNA Proof Verification

fix(deed): table owner-ruled relationship symbols minted-from + registry (#837 marid report) #435

Sign in to view logs

fix(deed): table owner-ruled relationship symbols minted-from + registry (#837 marid report)

fix(deed): table owner-ruled relationship symbols minted-from + registry (#837 marid report) #435

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Detect proof changes
6s
Trust pipeline summary
5s
Agda — lol/proofs
0s
Idris2 — AVOW consent proofs
0s
11s