Skip to content
Checking examples in library documentation

Chore: Proofs not depending on leaks of opaque + brittleness reduction #219

Sign in to view logs

Chore: Proofs not depending on leaks of opaque + brittleness reduction

Chore: Proofs not depending on leaks of opaque + brittleness reduction #219

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-examples-in-docs (3.13.1, ubuntu-latest)
1m 30s
check-examples-in-docs (4.0.0, ubuntu-latest)
1m 38s
3m 8s