Skip to content
Benchmarks

Reject duplicate keys in reconstruction verifier submissions #1840

Sign in to view logs

Reject duplicate keys in reconstruction verifier submissions

Reject duplicate keys in reconstruction verifier submissions #1840

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Plan Benchmarks
17s
Host Verifiers (test_reconstruction_deck_certificate)
29s
Host Verifiers (provider-feasibility-v1-1)
24s
Benchmark Static Quality
19s
Host Verifiers (test_verifier_security_regressions)
32s
Benchmark Contracts, Adapters, Records & Digests
23s
Benchmark Inventory Validation
0s
Benchmark Oracle (provider-feasibility-v1/lean-repl)
1m 44s
Benchmark Oracle (provider-feasibility-v1/regina)
1m 30s
Benchmark Oracle (conjecture-probes-v1/reconstruction-deck-certificate)
1m 5s
Benchmark Oracle (provider-feasibility-v1/gudhi)
1m 24s
Benchmark Oracle (provider-feasibility-v1/cddlib)
1m 45s
Benchmark Oracle (provider-feasibility-v1/nauty)
2m 53s
Benchmark Oracle (provider-feasibility-v1/cgal)
1m 51s
Benchmark Validation
13s
Publish Benchmark Timings
20s
15m 9s