Skip to content
CI (Coq)

Qualifying expr.expr and cie coming from Uncurried and EdDSA.sign from Spec #4151

Sign in to view logs

Qualifying expr.expr and cie coming from Uncurried and EdDSA.sign from Spec

Qualifying expr.expr and cie coming from Uncurried and EdDSA.sign from Spec #4151

Run time

Learn about OS pricing on GitHub Actions
Job Run time
8.15.2
58m 55s
8.14.1
1h 11m 56s
master
1h 2m 26s
check-all
2s
3h 13m 19s