Skip to content

feat(math): add finite topological spaces domain with interior, closure, boundary, Kolmogorov quotient, and continuity check (#1920) #4234

feat(math): add finite topological spaces domain with interior, closure, boundary, Kolmogorov quotient, and continuity check (#1920)

feat(math): add finite topological spaces domain with interior, closure, boundary, Kolmogorov quotient, and continuity check (#1920) #4234

Triggered via pull request August 19, 2026 11:35
Status Success
Total duration 32s
Artifacts 1

benchmarks.yml

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

Artifacts

Produced during runtime
Name Size Digest
benchmark-plan
472 Bytes
sha256:0fe81d726aac091df3327ea924d2d299a4e1e5b5801360f97ff86311c8d8093e