Skip to content

feat(math): add finite categories domain with profile and opposite (#1733) #4143

feat(math): add finite categories domain with profile and opposite (#1733)

feat(math): add finite categories domain with profile and opposite (#1733) #4143

Triggered via pull request August 18, 2026 17:43
Status Cancelled
Total duration 1s
Artifacts

benchmarks.yml

on: pull_request
Plan Benchmarks
Plan Benchmarks
Matrix: host_validation
Waiting for pending jobs
Benchmark Contracts, Adapters, Records & Digests
Benchmark Contracts, Adapters, Records & Digests
Benchmark Static Quality
Benchmark Static Quality
Benchmark Inventory Validation
Benchmark Inventory Validation
Matrix: oracle
Waiting for pending jobs
Benchmark Validation
Benchmark Validation
Publish Benchmark Timings
Publish Benchmark Timings
Fit to window
Zoom out
Zoom in

Annotations

1 error
Benchmarks
Canceling since a higher priority waiting request for benchmarks-Benchmarks-refs/pull/2023/merge exists