GitHub Actions run
Wall TimeCPU Simulation
20 hours ago 74b5f7c oflatt-proof-optimization pull_requestCompare
Base
Search a run
Head
CompareProof optimization- consolidate proof and view/UF tables
#850
oflatt-proof-optimization
20 hours ago
Wall TimeCPU Simulation
236 total
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs163.2 ms
tests[cykjson]
benches/ci_benchmarking.rs371.7 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs1.6 s
tests[typeinfer]
benches/ci_benchmarking.rs263.5 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs17.6 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs31.9 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs5 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs349.3 µs
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs11.9 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs292.6 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs1.7 s
tests[rectangle]
benches/ci_benchmarking.rs12.3 s
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs294.2 ms
tests[typeinfer]
benches/ci_benchmarking.rs218.9 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs39.6 ms
tests[luminal-llama]
benches/ci_benchmarking.rs606.8 ms
tests[herbie]
benches/ci_benchmarking.rs231.2 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs8.6 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs8.9 s
tests[python_array_optimize]
benches/ci_benchmarking.rs6.5 s
tests[herbie]
benches/ci_benchmarking.rs277.7 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs11.4 ms
tests[taylor51]
benches/ci_benchmarking.rs5.4 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs32.2 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs625 ms