Skip to content

Publish pinned Lean evaluation images #1831

Publish pinned Lean evaluation images

Publish pinned Lean evaluation images #1831

Triggered via pull request August 7, 2026 18:21
Status Cancelled
Total duration 3m 41s
Artifacts 2

benchmarks.yml

on: pull_request
Plan Benchmarks
18s
Plan Benchmarks
Matrix: host_validation
Benchmark Static Quality
8s
Benchmark Static Quality
Benchmark Contracts, Adapters, Records & Digests
4s
Benchmark Contracts, Adapters, Records & Digests
Benchmark Inventory Validation
0s
Benchmark Inventory Validation
Matrix: oracle
Benchmark Validation
7s
Benchmark Validation
Publish Benchmark Timings
Publish Benchmark Timings
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 2 warnings
Benchmark Contracts, Adapters, Records & Digests
Canceling since a higher priority waiting request for benchmarks-Benchmarks-refs/pull/776/merge exists
Host Verifiers (provider-feasibility-v1-1)
Canceling since a higher priority waiting request for benchmarks-Benchmarks-refs/pull/776/merge exists
Host Verifiers (provider-feasibility-v1-1)
No files were found with the provided path: /home/runner/work/_temp/benchmark-host-timing/**/pytest-receipt.json. No artifacts will be uploaded.
Benchmark Contracts, Adapters, Records & Digests
The operation was canceled.
Host Verifiers (provider-feasibility-v1-1)
The operation was canceled.
Benchmark Static Quality
Canceling since a higher priority waiting request for benchmarks-Benchmarks-refs/pull/776/merge exists
Benchmark Static Quality
The operation was canceled.
Host Verifiers (test_verifier_security_regressions)
Canceling since a higher priority waiting request for benchmarks-Benchmarks-refs/pull/776/merge exists
Host Verifiers (test_verifier_security_regressions)
No files were found with the provided path: /home/runner/work/_temp/benchmark-host-timing/**/pytest-receipt.json. No artifacts will be uploaded.
Host Verifiers (test_verifier_security_regressions)
The operation was canceled.
Benchmark Validation
Process completed with exit code 2.
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

Artifacts

Produced during runtime
Name Size Digest
benchmark-plan-receipt
2.48 KB
sha256:413738e8c6ccd440af4f8038a3290bb26636ac38e6f398093af68f9b09d0b4e0
benchmark-test-durations-input Expired
177 Bytes
sha256:6de03498aad9d6f89a8658d766b5defa4b19224143e28824315a7ae1d19a49a4