Skip to content

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

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) #4181

Triggered via pull request August 18, 2026 20:07
Status Success
Total duration 36s
Artifacts 1

benchmarks.yml

on: pull_request
Plan Benchmarks
17s
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
11s
Benchmark Validation
Publish Benchmark Timings
Publish Benchmark Timings
Fit to window
Zoom out
Zoom in

Artifacts

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