GitHub Actions run
Wall TimeCPU Simulation
2 days ago 28aae0f oflatt-refactor-parallel pull_requestCompare
Base
Search a run
Head
CompareRefactor parallelism to use local thread pool
#826
oflatt-refactor-parallel
2 days ago
Wall TimeCPU Simulation
228 total
tests[cykjson]
benches/ci_benchmarking.rs366.2 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs2.1 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs1.9 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs32.4 ms
tests[taylor51]
benches/ci_benchmarking.rs4.3 s
tests[typeinfer]
benches/ci_benchmarking.rs272.5 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs274.1 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs872.7 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs733.7 ms
tests[typeinfer]
benches/ci_benchmarking.rs240.1 ms
tests[herbie]
benches/ci_benchmarking.rs253.5 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs8.3 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs38.5 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs23.8 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs305.7 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs6.9 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs698.7 µs
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs257.4 ms
tests[herbie]
benches/ci_benchmarking.rs288 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs11.2 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs8.6 s
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs642.9 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs21 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs403.9 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs21.5 ms