GitHub Actions run
CPU Simulation
4 days ago a90b4cc subtype-refinement-dsl pull_requestCompare
Base
Search a run
Head
CompareAdd DSL subtype refinements
#13
subtype-refinement-dsl
4 days ago
CPU Simulation
11 total
engine_cold[small]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysis90.6 µs
check_match[small]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysis90.4 µs
engine_hot_cache[flatten_product_cross]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysis349 µs
subtract_hot_cache[type_minus_large_union]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysis522.8 ns
check_match[big]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysis3 ms
engine_cold[big]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysis3 ms
engine_hot_cache[small]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysis10.4 µs
engine_hot_cache[big]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysis129.8 µs
The benchmarks below were skipped, so their baseline results are used instead.
engine[hot_cache]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysisSkipped
339 µs*
check_match[cold]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysisSkipped
755.3 µs*
engine[cold]
benches/match_analysis.rs::benches::bench_match_analysis::match_analysisSkipped
756.6 µs*