Skip to content
Agda

fix(ci): classify EchoDeniability in kernel-note and MAP.adoc #688

Sign in to view logs

fix(ci): classify EchoDeniability in kernel-note and MAP.adoc

fix(ci): classify EchoDeniability in kernel-note and MAP.adoc #688

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
11m 7s
check
2m 2s
13m 9s