GitHub Actions run
Wall TimeCPU Simulation
2 hours ago bcd6b13 yihozhang-decomp pull_requestCompare
Suggested base runs: •
228 total
tests[typeinfer]
benches/ci_benchmarking.rs239.4 ms
tests[taylor51]
benches/ci_benchmarking.rs5.4 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs274.7 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs616.9 ms
tests[taylor51]
benches/ci_benchmarking.rs4.4 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs11.5 ms
tests[herbie]
benches/ci_benchmarking.rs273.5 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs301.5 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs302.8 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs401.3 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs18.5 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs27.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs8.8 ms
tests[herbie]
benches/ci_benchmarking.rs234.4 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs5.7 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs434.8 µs
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs881.7 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs24.4 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs653.3 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs9.2 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs41 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs306.8 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs46.4 ms
tests[typeinfer]
benches/ci_benchmarking.rs279.9 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs1.8 s