Publish pinned Lean evaluation images #1830
morlutobenchmarks.yml
on: pull_request
Plan Benchmarks
14s
Matrix: host_validation
Benchmark Static Quality
17s
Benchmark Contracts, Adapters, Records & Digests
21s
Matrix: oracle
Publish Benchmark Timings
22s
Annotations
1 error and 3 warnings
|
Benchmarks
Canceling since a higher priority waiting request for benchmarks-Benchmarks-refs/pull/776/merge exists
|
|
Plan Benchmarks
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Plan Benchmarks
no valid successful main-branch benchmark timing artifact is available; benchmark shards will use equal weighting
|
|
Publish Benchmark Timings
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
benchmark-host-timing-provider-feasibility-v1-1
|
906 Bytes |
sha256:c54fab3748722aefd25029ac09a2b725546f5c5c3dcd5fd3ad63a8e870309425
|
|
|
benchmark-host-timing-test_verifier_security_regressions
|
910 Bytes |
sha256:4ce47fb1555a6c06c2a7cf480f48ff449a3b4d1fad2e03de1fcc7d447a54cd81
|
|
|
benchmark-oracle-provider-feasibility-v1-cddlib
|
13.5 KB |
sha256:f39c8fb440810a728fa5745096e4c30df5aa118cf78f44dcb1e6908d43b8e603
|
|
|
benchmark-oracle-provider-feasibility-v1-cgal
|
13.2 KB |
sha256:1e313dafe355b961f6a89eeb1941c67f71064aa65b8f3bb6c7352b31d5d3b570
|
|
|
benchmark-oracle-provider-feasibility-v1-gudhi
|
12.5 KB |
sha256:c06c290c77a57873b57513d8fd0d6ed15b71c88fd410dd866cf2cebe8a1ad677
|
|
|
benchmark-oracle-provider-feasibility-v1-lean-repl
|
11.4 KB |
sha256:cc0f0a5d93fe0938c8120862935f1f992c875cbd99e710a73ad10f14c414b8be
|
|
|
benchmark-oracle-provider-feasibility-v1-nauty
|
12.8 KB |
sha256:0705267604181dce93b35563abecaca831106834ca892cdd15f35a69eabf1c47
|
|
|
benchmark-oracle-provider-feasibility-v1-regina
|
13 KB |
sha256:6bb36207b324a36ef99f56068187a0afffa583213a6e1225806f4023ebe18caa
|
|
|
benchmark-plan-receipt
|
2.48 KB |
sha256:0c04ffbc714294f2361d9a3429356c5244447c52b7f9574bdce039dcb99bbdde
|
|
|
benchmark-test-durations-input
Expired
|
177 Bytes |
sha256:3ac45c3666b6dcb97bb209d2fa6cc9f8835b2f979e5d5019303616db59852621
|
|
|
benchmark-timings-4593ba65540e0838f96a0b22b3a4e43a6fa0ae6d
|
620 Bytes |
sha256:bcde9262bf7ee0611e53aaf972c711d6f87e93028d860c31a6ba1dd63a80bc5c
|
|