Publish pinned Lean evaluation images #1837
morlutobenchmarks.yml
on: pull_request
Plan Benchmarks
23s
Matrix: host_validation
Benchmark Static Quality
15s
Benchmark Contracts, Adapters, Records & Digests
17s
Matrix: oracle
Publish Benchmark Timings
17s
Annotations
3 warnings
|
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:700869f44794bd641b5bffd3059abd8bdb20de445bfe3d7fb26d1b155c679a96
|
|
|
benchmark-host-timing-test_verifier_security_regressions
|
907 Bytes |
sha256:be837880015f6c45b3d97634d21075ad3729b91ee156c84c48890444c03c243d
|
|
|
benchmark-oracle-provider-feasibility-v1-cddlib
|
13.5 KB |
sha256:3cec0b816411aa4797a9f7d5a1c79f1029558dfcfc962bd7d3001c2164aad0c9
|
|
|
benchmark-oracle-provider-feasibility-v1-cgal
|
13.2 KB |
sha256:2464b8e8c402919543a0352f3cd33a3114e0650743c5819c03d48b11c3cda86c
|
|
|
benchmark-oracle-provider-feasibility-v1-gudhi
|
12.5 KB |
sha256:cad9cde63c5c6e15903f9a8bcd8c33c248bb77bc73fd981ee0398911277d3f71
|
|
|
benchmark-oracle-provider-feasibility-v1-lean-repl
|
11.4 KB |
sha256:9a39245a026e391b0fca2352b003aaa4699306cb299b7f9649b10b829092e8a9
|
|
|
benchmark-oracle-provider-feasibility-v1-nauty
|
12.8 KB |
sha256:a5174c98169e30aa0b4acfbf4b6bff995639b896a0f2861d59f4cc97c48b808c
|
|
|
benchmark-oracle-provider-feasibility-v1-regina
|
13 KB |
sha256:eec215a982dc32d3b7155b75f09ae382e3b3e3d859d60a5c9212929b98b023f3
|
|
|
benchmark-plan-receipt
|
2.51 KB |
sha256:a3cb4fe112776e267daa3724ce3b01e12183b4b59af03326f07d248315b75533
|
|
|
benchmark-test-durations-input
Expired
|
177 Bytes |
sha256:ef34ce8b0ea89dd0129c7bb27164a460fbb7fc86dc0119303906e6bbf4c62ba7
|
|
|
benchmark-timings-cfd23cdbefb9251fb181aa55845b0e9e0dfc6b52
|
619 Bytes |
sha256:67ddc9e46cd84ff8ad55d7ddebd405e40b95b45e25097caf247e954f882895a8
|
|