Skip to content

feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients (#1912) #4178

feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients (#1912)

feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients (#1912) #4178

Triggered via pull request August 18, 2026 19:34
Status Success
Total duration 34s
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
10s
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:240fab0cf850ef0f16ad608ec3d628eb0d1cd3a0bedf963a33ef1fe7e68eba1d